Kaušilaitė , J. ir Pliuškevičius, R. (1999) „Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą“, Lietuvos matematikos rinkinys, 39(III), p. 311–316 . doi:10.15388/LMD.1999.35640.