orthogonality

property of term rewriting systems

Categories: