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