Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita. Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. In Zhongshi Shi, editor, Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. Volume A-19 of IFIP Transactions, pages 221-238, North-Holland, 1992.
Abstract is missing.