Peter Hibbs, Paliath Narendran, Shweta Mehto. Unification Modulo Common List Functions. In Temur Kutsia, Christophe Ringeissen, editors, Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. pages 15-21, 2014. [doi]
Abstract is missing.