Derivation trees of ground term rewriting systems.
scientific article; zbMATH DE number 1853050
scientific article