Formalizing the Confluence of Orthogonal Rewriting Systems

Open in new window