Bounded, strongly sequential and forward-branching term rewriting systems
scientific article; zbMATH DE number 762064