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.