Kaušilaitė , J., & Pliuškevičius, R. (1999). On decidability of a fragment of intuitionistic predicate logic. Lietuvos Matematikos Rinkinys, 39(III), 311–316 . https://doi.org/10.15388/LMD.1999.35640