Pliuškevičienė, A. (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