editors. Higher order logic theorem proving and its applications (1994)

by J J Joyce, C-J H Seger
Venue:Proceedings, 1993, Number 780 in Lecture Notes in Computer Science