Ground Associative and Commutative Completion Modulo Shostak Theories.

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala

Browse the full LPAR paper archive.