Hierarchies of Decidable Extensions of Bounded Quantification (1994)

by Sergei Vorobyov
Venue:IN 22ND ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES