Analytic and non-analytic proofs (1984)

by F Pfenning
Venue:In Proceedings CADE 7