Title: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic