Unification Modulo Common List Functions. - Peter Hibbs; Paliath Narendran; Shweta Mehto (UNIF, 2014)

Unification Modulo Lists with Reverse Relation with Certain Word Equations. - Siva Anantharaman; Peter Hibbs; Paliath Narendran; Michaël Rusinowitch (CADE, 2019)