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

by A Felty
Venue:Automated Deduction: CADE-13, volume 1104 of Lecture Notes in Arti Intelligence