Tactic theorem proving with renement-tree proofs and metavariables (0)

by Amy Felty, Douglas Howe
Venue:In Automated Deduction(CADE-12), volume 814 of Lecture