You have to log in to edit pages.
Return to Elimination of Conditional Rules in Term Rewrite Systems.
