Adding proof objects and inductive definition mechanism to Frege structures (1991)

by M Sato
Venue:Proc. International Conference on Theoretical Aspects of Computer Science, number 526 in LNCS