The Theory of Idempotent Semigroups is of Unification Type Zero (0)

by Franz Baader
Venue:Journal of Automated Reasoning