References [1] Programming and symbolic computation in Maude. Journal of Logical and Algebraic Methods in Programming (2020). [2] Strategies, model checking and branching-time properties in Maude.