Rewriting.CriticalPairs Rewriting.DefinitionalTree Rewriting.Files Rewriting.Narrowing Rewriting.Position Rewriting.Rules Rewriting.Strategy Rewriting.Substitution Rewriting.Term Rewriting.Unification Rewriting.UnificationSpec

Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations | ||

Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations |