Didier Caucal. An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes. In Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings. Volume 532 of Lecture Notes in Computer Science, pages 190-206, Springer, 1990.
Abstract is missing.