Sufficient Completness, Term Rewriting Systems and "Anti-Unification".

Hubert Comon

Browse the full CADE paper archive.