Structural decidable extensions of bounded quantification (1995)

by S Vorobyov
Venue:In 22nd ACM Symp. on Principles of Programming Languages (POPL'95