Rewriting Logic and Maude: Concepts and Applications

Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications

Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications

Specification languages in algebraic compilers

Theoretical Computer Science - Special issue: Algebraic methodology and software technology

Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study

Proceedings of the 2006 ACM symposium on Applied computing

Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic

ACM Transactions on Design Automation of Electronic Systems (TODAES)

A comparison between two logical formalisms for rewriting

Theory and Practice of Logic Programming

μ-Calculus Model Checking in Maude

Electronic Notes in Theoretical Computer Science (ENTCS)

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

Twenty years of rewriting logic

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications