;. J. Cruanes-;-simon-cruanes, ;. De-kleer, and . Echenim, 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.

D. Val, ;. L. Simon, and A. Val, Efficient consequence finding, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp.359-370, 2001.