Toward an efficient equality computation in connection tableaux: a modification method without symmetry transformation-a preliminary report, Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research, vol.60, pp.1980-1987, 1991. ,
Efficient consequence finding, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp.359-370, 2001. ,