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