Autarkic Computations in Formal Proofs (1997)

by Henk Barendregt, Erik Barendsen
Venue:J. Autom. Reasoning