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