Szabó P.: A Noetherian and Confluent Rewrite System for Idempotent Semigroups, Semigroup Forum 25 (1982)

by J Siekmann