Massimo Marchiori
-
Abstract modularity
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Modularity in term rewriting revisited
Theoretical Computer Science