Melham and Juanito Camilleri, editors. Higher Order Logic Theorem (1994)

by F Thomas
Venue:Proving and Its Applications: 7th International Workshop, LNCS 859