Kaušilaitė , Jolanta, and Regimantas Pliuškevičius. “On Decidability of a Fragment of Intuitionistic Predicate Logic”. Lietuvos Matematikos Rinkinys, vol. 39, no. III, Dec. 1999, pp. 311–316 , https://doi.org/10.15388/LMD.1999.35640.