Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
Book Title
Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
Editor
Tom Melham and Juanito Camilleri
Month
September
Publisher
University of Malta
Year
1994