Canonized Rewriting and Ground AC Completion Modulo Shostak Theories.

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala

Browse the full TACAS paper archive.