On decidability of a fragment of intuitionistic predicate logic - Jolanta Kaušilaitė; Regimantas Pliuškevičius (Lietuvos Matematikos Rinkinys)
There is not abstract.