A uniform axiomatic view of lists, multisets and the relevant unification algorithms (1998)

by A Dovier, A Policriti, G Rossi
Venue:Department of Computer Science, New Mexico State University