Bernhard Gramlich, Salvador Lucas. Simple termination of context-sensitive rewriting. In Bernd Fischer, Eelco Visser, editors, Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002. pages 29-42, ACM, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.