Determinization of conditional term rewriting systems
deterministic conditional term rewriting system
scientific article; zbMATH DE number 6122467
scientific article