A Noetherian and confluent rewrite system for idempotent semigroups. J. Siekmann; P. Szabó — 1982 Semigroup forum