[ { "reducibility" * } {
[ { "context-sensitive reduction" * } {
[ "lcpr ( ? ⊢ ➡ ? )" * ]
- [ "cpr ( ? ⊢ ? ➡ ? )" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
+ [ "cpr ( ? ⊢ ? ➡ ? )" "cpr_lift" "cpr_tpss" "cpr_ltpr" "cpr_cpr" * ]
}
]
[ { "context-free normal forms" * } {