Kaušilaitė , J.; Pliuškevičius, R. Apie išsprendžiamą intuicionistinės kvantorinės Logikos Fragmentą. LMR 1999, 39 (III), 311–316 . https://doi.org/10.15388/LMD.1999.35640.