Rules of de nitional re ection (1993)

by Peter Schroeder-Heister
Venue:Eighth Annual Symposium on Logic in Computer Science