Backward Trace Slicing for Rewriting Logic Theories.

Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero

Browse the full CADE paper archive.