1. Adian, S. I., & Durnev, V. G. (2000). Decision problems for groups and semigroups. Russian Mathematical Surveys, 55(2), 207.
2. Baader, F. (1986). Unification in idempotent semigroups is of type zero. Journal of Automated Reasoning, 2(3), 283–286.
3. Baader, F. (1988). A note on unification type zero. Information Processing Letters, 27, 91–93.
4. Baader, F., Binh, N. Th., Borgwardt, S., & Morawska, B. (2015). Deciding unifiability and computing local unifiers in the description logic $$\cal {EL} $$ EL without top constructor. Notre Dame Journal of Formal Logic.
5. Baader, F., & Ghilardi, S. (2011). Unification in modal and description logics. Logic Journal of the IGPL, 19(6), 705–730. http://jigpal.oxfordjournals.org/content/19/6/705.abstract .