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