A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike. A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. Theoretical Computer Science, 59(4):255-270, 2001. [doi]

Abstract

Abstract is missing.