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