1. Unification in Datastructure Multisets;Büttner;J. of Automated Reasoning,1987
2. Efficient Solution of Linear Diophantine Equations;Clausen;Interner Bericht, Universität Karlsruhe,1987
3. Associative-Commutative Unification;Fages;J. Symb. Comp.,1987
4. Algebraische Unifikation;Fortenbacher,1983
5. An Algebraic Approach to Unification under Associativity and Commutativity;Fortenbacher;J. Symb. Comp.,1987