Backward Trace Slicing for Conditional Rewrite Theories | Publicación