H. Agrawal, R. A. Demillo, and E. H. Spafford, Debugging with dynamic slicing and backtracking. Software -Practice and Experience, pp.589-616, 1993.
DOI : 10.1002/spe.4380230603
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.231

M. Alpuente, D. Ballis, J. Espert, and D. Romero, Backward Trace Slicing for Rewriting Logic Theories, Proc. of the 23rd International Conference on Automated Deduction, CADE 2011, LNAI 6803, pp.34-48, 2011.
DOI : 10.1007/978-3-540-68894-5_2

M. Alpuente, D. Ballis, F. Frechina, and D. Romero, Backward Trace Slicing for Conditional Rewrite Theories, Proc. of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2012, pp.62-76, 2012.
DOI : 10.1007/978-3-642-28717-6_8

F. Baader and W. Snyder, Unification theory, Handbook of Automated Reasoning, pp.445-532, 2001.
DOI : 10.1016/b978-044450813-3/50010-2

A. Bouhoula, J. Jouannaud, and J. Meseguer, Specification and proof in membership equational logic, Theoretical Computer Science, vol.236, issue.1-2, pp.35-132, 2000.
DOI : 10.1016/S0304-3975(99)00206-6
URL : https://hal.archives-ouvertes.fr/inria-00099079

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

J. Field, G. Ramalingam, and F. Tip, Parametric program slicing, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.379-392, 1995.
DOI : 10.1145/199448.199534

J. Field and F. Tip, Dynamic dependence in term rewriting systems and its application to program slicing, Information & Software Technology, vol.40, pp.11-12609, 1998.

M. Harman and S. Danicic, Using program slicing to simplify testing, Software Testing, Verification and Reliability, vol.10, issue.3, pp.143-162, 1995.
DOI : 10.1002/stvr.4370050303

S. Horwitz, T. W. Reps, and D. Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems, vol.12, issue.1, pp.26-60, 1990.
DOI : 10.1145/77606.77608
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4405

R. Jhala and R. Majumdar, Path slicing, Proc. of the 2005 ACM SIGPLAN conference on Programming language design and implementation, PLDI 2005, pp.38-47, 2005.
DOI : 10.1145/1064978.1065016

N. Martí-oliet and J. Meseguer, Rewriting logic: roadmap and bibliography, Theoretical Computer Science, vol.285, issue.2, pp.121-154, 2002.
DOI : 10.1016/S0304-3975(01)00357-7

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

A. Riesco, Using Semantics Specified in Maude to Generate Test Cases, Proc. of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012, pp.90-104, 2012.
DOI : 10.1007/978-3-642-32943-2_7

C. Sandberg, A. Ermedahl, J. Gustafsson, and B. Lisper, Faster WCET flow analysis by program slicing, Proc. of the 2006 ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems, pp.103-112, 2006.
DOI : 10.1145/1159974.1134666

J. Silva and O. Chitil, Combining algorithmic debugging and program slicing, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming , PPDP '06, pp.157-166, 2006.
DOI : 10.1145/1140335.1140355
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.4566

L. Sterling and E. Y. Shapiro, The Art of Prolog -Advanced Programming Techniques, 1986.

C. Tian, M. Feng, and R. Gupta, Speculative parallelization using state separation and multiple value prediction, Proceedings of the 2010 international symposium on Memory management, ISMM '10, pp.63-72, 2010.
DOI : 10.1145/1806651.1806663
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.193.3128

F. Tip, A survey of program slicing techniques, Journal of Programming Languages, vol.3, issue.3, pp.121-189, 1995.

A. Verdejo and N. Martí-oliet, Executable structural operational semantics in Maude, The Journal of Logic and Algebraic Programming, vol.67, issue.1-2, pp.226-293, 2006.
DOI : 10.1016/j.jlap.2005.09.008

M. Weiser, Program Slicing, Proc. of the 5th international conference on Software engineering, ICSE '81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248