Unification Modulo ACU I Plus Homomorphisms/Distributivity.

Siva Anantharaman, Paliath Narendran, Michal Rusinowitch

Browse the full CADE paper archive.