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