Michio Honda, Reiji Nakajima. Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 400-402, William Kaufmann, 1979.
Abstract is missing.