Bsp. kritische Paare für TRS

• CP für {f (x, x)→a, f (x, g(x))→b}
• CP für {0 + y→₁y, s(x) + y→₂s(x + y), x + 0→₃x, x + s(y)→₄s(x, y)}