参考文献

1

長谷川，越村，白井. モデル生成型定理証明器 MGTP マニュアル. 新世代コンピュータ技術開発機構, 1995.

2

長谷川 隆三，井上 克已，太田 好彦，越村 三幸． 上昇型定理証明の探索効率を高めるノンホーン・マジックセット． 情報処理学会論文誌，38(3):453--461, 1997.

3

井上 克已，壷内 敬吾，山本 友和. 高度問題解決のための推論プログラムの開発 ---アブダクティブ論理プログラミング処理系の開発(平成7年度委託研究報告書). 豊橋技術科学大学工学部, 1996.

4

井上 克已，山本 友和. 高度問題解決のための推論プログラムの開発 ---アクション言語処理系の開発(平成8年度委託研究報告書). 神戸大学工学部, 1997.

5

Korf, R.E. Depth-first iterative deepening : an optimal admissible tree search. Artificial Intelligence 27:97--109, 1985.