Unification Modulo Lists with Reverse Relation with Certain Word Equations.

Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michal Rusinowitch

Browse the full CADE paper archive.