Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA

Myla Archer Jeffrey J. Joyce Karl N. Levitt Phillip J. Windley Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA TPHOLs IEEE Computer Society 1992 db/conf/tphol/tphol1991.html