Backward Trace Slicing for Conditional Rewrite Theories

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28717-6_8 ◽

2012 ◽

pp. 62-76 ◽

Cited By ~ 5

Author(s):

María Alpuente ◽

Demis Ballis ◽

Francisco Frechina ◽

Daniel Romero

Download Full-text