Snyder, W. (1989). "Efficient Ground Completion: An O(n log n) Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E". In
Nachum Dershowitz (ed.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89. LNCS. Vol. 355. Springer. pp. 419–433.
Snyder, W. & Lynch, C. (1991). "Goal Directed Strategies for Paramodulation". In
Ronald V. Book (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91. LNCS. Vol. 488. Springer. pp. 150–161.
Lynch, C. & Snyder, W. (1993). "Redundancy Criteria for Constrained Completion". In Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93. LNCS. Vol. 690. Springer. pp. 2–16.