Uni cation in idempotent semigroups is of type zero (1986)

by F Baader
Venue:J. Automated Reasoning