1. Alpuente, M., Ballis, D., Frechina, F., Sapiña, J.: Exploring conditional rewriting logic computations. J. Symbolic Comput. 69, 3–39 (2015)
2. Alpuente, M., Ballis, D., Sapiña, J.: Static correction of maude programs with assertions. Technical report, Universitat Politècnica de València (2018).
http://hdl.handle.net/10251/100268
3. Lecture Notes in Computer Science;M Alpuente,2017
4. Clavel, M., Durán, F., Eker, S., Escobar, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.7.1). Technical report, SRI International (2016).
http://maude.cs.uiuc.edu/maude2-manual/
5. Lecture Notes in Computer Science,1996