Generalization and Reuse of Tactic Proofs.

Amy P. Felty, Douglas J. Howe

Browse the full LPAR paper archive.