Jean-Louis Giavitto, Olivier Michel. Pattern-matching and rewriting rules for group indexed data structures. In Bernd Fischer, Eelco Visser, editors, Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002. pages 55-66, ACM, 2002. [doi]
Abstract is missing.