Eve Longini Cohen, Frank Pfenning, "Automating HigherOrder Logic," in Automated Theorem Proving: After 25 Years, edited by (1984)

by Peter B Andrews, Dale A Miller
Venue:Contemporary Mathematics series