Abstract modularity (2005)

by M Abbott, N Ghani, C Lüth
Venue:In Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005