## Wayne Snyder

*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

RTA, 1989.

*O(n log n)*Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E

@inproceedings{RTA-1989-Snyder, author = "Wayne Snyder", booktitle = "{Proceedings of the Third International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-51081-8_123", editor = "Nachum Dershowitz", isbn = "3-540-51081-8", pages = "419--433", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Efficient Ground Completion: An \emph{O(n log n)} Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E}", volume = 355, year = 1989, }