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