Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables.

Amy P. Felty, Douglas J. Howe

Browse the full CADE paper archive.