Rewriting Logic and Its Applications Rewriting Logic and Its Applications
2024
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
2015
All About Maude - A High-Performance Logical Framework All About Maude - A High-Performance Logical Framework
2007