Report copyright - Extending Context-Sensitivity in Term Rewriting · Standard term rewriting systems (TRSs) are well-known to enjoy nice logical and closure properties. Yet, from an operational and
Please pass captcha verification before submit form