A.: A precedence-based total AC-compatible ordering (1993)

by R Nieuwenhuis, Rubio
Venue:LNCS