O. Andrei and D. Lucanu, Strategy-based proof calculus for membrane systems, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, vol.238, pp.23-43, 2008.

P. Borovanský, C. Kirchner, H. Kirchner, and C. Ringeissen, Rewriting with strategies in ELAN: A functional semantics, Int. J. Found. Comput. Sci, vol.12, issue.1, pp.69-95, 2001.

A. Bouhoula, J. P. Jouannaud, and J. Meseguer, Specification and proof in membership equational logic, Theoretical Computer Science, vol.236, issue.1, pp.206-212, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099079

C. Braga and A. Verdejo, Modular structural operational semantics with strategies, Proceedings of the Third Workshop on Structural Operational Semantics, vol.175, pp.3-17, 2006.

,

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude-A High-Performance Logical Framework, vol.4350, 2007.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., , 2016.

S. Eker, N. Martí-oliet, J. Meseguer, and A. Verdejo, Deduction, strategies, and rewriting, Proceedings of the 6th International Workshop on Strategies in Automated Deduction, vol.174, pp.3-25, 2006.

M. Hidalgo-herrero, A. Verdejo, and Y. Ortega-mallén, Using Maude and its strategies for defining a framework for analyzing Eden semantics, Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, vol.174, pp.119-137, 2006.

N. Martí-oliet and J. Meseguer, Rewriting Logic as a Logical and Semantic Framework, pp.1-87, 2002.

N. Martí-oliet, J. Meseguer, and A. Verdejo, Towards a strategy language for Maude, Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications, vol.117, pp.417-441, 2004.

N. Martí-oliet, M. Palomino, and A. Verdejo, Strategies and simulations in a semantic framework, Journal of Algorithms, vol.62, issue.3, pp.95-116, 2007.

,

J. Meseguer, Conditional rewriting logic as a unified model of concurrency. Theoretical, Computer Science, vol.96, issue.1, p.90182, 1992.

K. G. Murty, Linear programming, 1983.

R. Rubio, N. Martí-oliet, I. Pita, and A. Verdejo, Strategy language for Maude web page

A. Verdejo and N. Martí-oliet, Basic completion strategies as another application of the Maude strategy language, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, vol.82, pp.17-36, 2011.

G. Winskel, The Formal Semantics of Programming Languages. Foundations of Computing, 1993.