Pliuškevičienė, A. 2004. Išsprendžiamoji procedūra KD4 ir PDL logikų apjungimui. Lietuvos matematikos rinkinys. 44, spec. (Dec. 2004), 525–529. DOI:https://doi.org/10.15388/LMR.2004.32074.