Wolfram Büttner Unification in Datastructure Multisets. 75-88 1986 2 J. Autom. Reasoning 1 db/journals/jar/jar2.html#Buttner86