Rules of definitional reflection (1993)

by P Schroeder-Heister
Venue:In Eighth Annual Symposium on Logic in Computer Science, M. Vardi, Ed. IEEE Computer