Producing Proofs from an Arithmetic Decision (0)

by A Stump, D Dill
Venue:Procedure in Elliptical LF. In 3rd International Workhsop on Logical Frameworks and MetaLanguages