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