Invariants and closures in the theory of rewrite systems
scientific article; zbMATH DE number 943664
scientific article