Title: Hol Theorem Proving System and Applications
First published: June 1992
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic