Characterization of complexity classes in higher-order logic (1987)

by D Leivant
Venue:In Proc. 2nd Annual Conference Structure in Complexity Theory, 203--217. IEEE