Kaušilaitė , Jolanta, and Regimantas Pliuškevičius. “On Decidability of a Fragment of Intuitionistic Predicate Logic”. Lietuvos matematikos rinkinys 39, no. III (December 17, 1999): 311–316 . Accessed November 21, 2024. https://journals.vu.lt./LMR/article/view/35640.