Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Term Rewriting in a Logic of Special Relations
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hi-index | 0.01 |