Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract)

Hubert Comon, Robert Nieuwenhuis, Albert Rubio

Browse the full LICS paper archive.