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