A compact fixpoint semantics for term rewriting systems
scientific article; zbMATH DE number 5774338
scientific article