A Precedence-Based Total AC-Compatible Ordering

Albert Rubio, Robert Nieuwenhuis. A Precedence-Based Total AC-Compatible Ordering. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 374-388, Springer, 1993.

Authors

Albert Rubio

This author has not been identified. Look up 'Albert Rubio' in Google

Robert Nieuwenhuis

This author has not been identified. Look up 'Robert Nieuwenhuis' in Google