PLIUŠKEVIČIENĖ, A. Išsprendžiamoji procedūra KD4 ir PDL logikų apjungimui. Lietuvos matematikos rinkinys, v. 44, n. spec., p. 525–529, 17 gruodž.2004.