KAUŠILAITĖ , J.; PLIUŠKEVIČIUS, R. Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą. Lietuvos matematikos rinkinys, v. 39, n. III, p. 311–316 , 17 gruodž.1999.