Akihiro Yamamoto, Bertram Fronhöfer. A Theory of Hypothesis Finding in Clausal Logic. In Setsuo Arikawa, Ayumi Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Volume 2281 of Lecture Notes in Computer Science, pages 246-257, Springer, 2002. [doi]
Abstract is missing.