Adding proof objects and inductive definition mechanisms to Frege stmctures (1991)

by Masahiko Sato
Venue:In Proceedings of the First International Conference on Theoretical Aspects of Computer Software