【MGTP の基本原理に関する論文】
Fujita, H. and Hasegawa, R.
A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm.
In Proc. 8th ICLP, pp. 535-548, 1991.
Fujita, M., Hasegawa, R., Koshimura, M. and Fujita, H.
Model Generation Theorem Provers on a Parallel Inference Machine.
In Proc. of FGCS92, 1992.
長谷川隆三, 藤田 博.
MGTP: 並列論理型言語KL1によるモデル生成型定理証明系.
ICOT Technical Report, TR-885, ICOT, 1994.
越村三幸, 長谷川隆三.
モデル生成型定理証明系のAND並列化方式.
電子情報通信学会論文誌，Vol. J78-D-1, No. 2, 1995.
【MGTP の拡張に関する論文】
Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, and Miyuki Koshimura.
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up
Theorem Proving.
In: W. McCune (ed.), Automated Deduction: Proceedings of the Fourteenth International Conference (CADE-14), Lecture Notes
in Artificial Intelligence, 1249, pages 176-190, Springer, 1997.
Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, and Miyuki Koshimura.
Non-Horn Magic Sets to Enhance the Search Efficiency of Bottom-up
Theorem Proving. (in Japanese)
Transactions of Information Processing Society of Japan, 38(3):453-461, 1997.
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, and Makoto Nakashima.
Parallel Abduction Based on Model Generation. (in Japanese)
Journal of Japanese Society for Artificial Intelligence, 8(5):786-796, 1993.
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, and Makoto Nakashima.
Bottom-up Abduction by Model Generation.
In: Proceedings of the Thirteenth International
Joint Conference on Artificial Intelligence (IJCAI-93),
pages 102-108, Morgan Kaufmann, 1993.
Yoshihiko Ohta and Katsumi Inoue.
Incorporating Top-down Information into Bottom-up Hypothetical Reasoning.
New Generation Computing, 11(3,4):401-421, 1993.
Katsumi Inoue, Miyuki Koshimura, and Ryuzo Hasegawa.
Embedding Negation as Failure into a Model Generation Theorem Prover.
In: D. Kapur (ed.), Automated Deduction: Proceedings of the Eleventh
International Conference (CADE-11), Lecture Notes in
Artificial Intelligence, 607, pages 400-415, Springer, 1992.
藤田正幸, 粂野文洋.
MGTP による有限代数の新事実の発見.
情報処理学会論文誌, Vol. 35, No. 7, pp. 1282-1292, 1994.
Hasegawa, R. and Shirai, Y.
Constraint Propagation of CP and CMGTP:
Experiments on Quasigroup Problems.
In Workshop 1C (Automated Reasoning in Algebra), CADE-12, 1994.
Shirai, Y. and Hasegawa, R. Two Approaches for Finite-Domain Constraint Satisfaction Problems, In Proc. of 12th International Conference on Logic Programming, 1995.
【その他の参考資料】
Suttner, C., Sutcliffe, G. and Yemenis, T. The TPTP Problem Library. In Proc. 12th CADE, pp. 252-266, 1993.