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