Displaying similar documents to “A Noetherian and confluent rewrite system for idempotent semigroups.”