Kaušilaitė , Jolanta, and Regimantas Pliuškevičius. “Apie išsprendžiamą intuicionistinės kvantorinės Logikos Fragmentą”. Lietuvos matematikos rinkinys 39, no. III (December 17, 1999): 311–316 . Accessed September 11, 2024. https://www.zurnalai.vu.lt/LMR/article/view/35640.