"Canonized Rewriting and Ground AC Completion Modulo Shostak Theories."

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics