Tactic Theorem Proving with Refinement Tree Proofs and Metavariables (1994)

by A Felty, D Howe
Venue:Proc. of the 12th Conference on Automated Deduction