Kaušilaitė , Jolanta, ir Regimantas Pliuškevičius. 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.