Yukio Ohsawa, Mitsuru Ishizuka. A Polynomial-Time Predicate-Logic Hypothetical Reasoning by Networked Bubble Propagation Method. In Gordon I. McCalla, editor, Advances in Artificial Intelligence, 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 96, Toronto, Ontario, Canada, May 21-24, 1996, Proceedings. Volume 1081 of Lecture Notes in Computer Science, pages 375-387, Springer, 1996.
Abstract is missing.