Hajime Sawamura, Daisaku Asanuma. Mechanizing Relevant Logics with HOL. In Jim Grundy, Malcolm C. Newey, editors, Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Volume 1479 of Lecture Notes in Computer Science, pages 443-460, Springer, 1998.
No references recorded for this publication.
No citations of this publication recorded.