Wolfram Büttner. Unification in Datastructure Multisets. Journal of Automated Reasoning, 2(1):75-88, 1986.
@article{Buttner86-0, title = {Unification in Datastructure Multisets}, author = {Wolfram Büttner}, year = {1986}, researchr = {https://researchr.org/publication/Buttner86-0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {2}, number = {1}, pages = {75-88}, }