Kaušilaitė , J.; Pliuškevičius, R. On Decidability of a Fragment of Intuitionistic Predicate Logic. LMR 1999, 39 (III), 311–316 . https://doi.org/10.15388/LMD.1999.35640.