Proof search with set variable instantiation in the calculus of constructions (1996)

by A Felty
Venue:In Thirteenth International Conference on Automated Deduction