Declarative Debugging of Rewriting Logic Specifications

@inproceedings{Riesco2008DeclarativeDO,
  title={Declarative Debugging of Rewriting Logic Specifications},
  author={Adri{\'a}n Riesco and Alberto Verdejo and Rafael Caballero and Narciso Mart{\'i}-Oliet},
  booktitle={WADT},
  year={2008}
}
Article history: Available online 9 September 2011