A Noetherian rewrite system for idempotent semigroups (bands) - Siekmann, Jörg H.; Szabó, Peter 1946- (1980)