You are here

Backward Trace Slicing for Rewriting Logic Theories

M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Backward Trace Slicing for Rewriting Logic Theories”, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.