J. Kaušilaitė ir R. Pliuškevičius, „Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą“, LMR, t. 39, nr. III, p. 311–316 , gruodž. 1999, doi: 10.15388/LMD.1999.35640.