Kaušilaitė , Jolanta, ir Regimantas Pliuškevičius. „Apie išsprendžiamą intuicionistinės kvantorinės Logikos Fragmentą“. Lietuvos Matematikos Rinkinys, t. 39, nr. III, 1999 m.gruodžio, p. 311–316 , https://doi.org/10.15388/LMD.1999.35640.