Bounded Quantification is Undecidable (1993)

by Benjamin C. Pierce
Venue:Information and Computation