Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai. A Model Generation Based Theorem Prover MGTP for First-Order Logic. In Antonis C. Kakas, Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Volume 2408 of Lecture Notes in Computer Science, pages 178-213, Springer, 2002. [doi]
Abstract is missing.