Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka. Efficient hypothetical reasoning system for predicate-logic knowledge base. Knowl.-Based Syst., 6(2):87-94, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.