A Noetherian and confluent rewrite system for idempotent semigroups
scientific article; zbMATH DE number 3776904