1. Baader, F.,The Theory of Idempotent Semigroups is of Unification Type Zero, J. Automated Reasoning 2 (1986).
2. Baader, F.,A Note on Unification Type Zero, Preprint (1986).
3. Baader, F. and W. Büttner,Unification in Commutative Idempotent Monoids, Preprint (1986).
4. Baader, F.,Beispiele zur Unifikation in Gleichungstheorien, In Preparation (1987).
5. Birjukov, A.P.,Varieties of Idempotent Semigroups, Algebra i Logika (1970) (Russian).