A total AC-compatible ordering based on RPO

  • Albert Rubio, Robert Nieuwenhuis
  • Theoretical Computer Science, May 1995, Elsevier
  • DOI: 10.1016/0304-3975(94)00276-2

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1016/0304-3975(94)00276-2