Backward Trace Slicing for Conditional Rewrite Theories.

Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Browse the full LPAR paper archive.