Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning - Pierre Deransart; Rafael Oliveira 004 (CoRR, 2010)