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