TY  - RPRT
TI  - Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
AU  - Pierre Deransart
AU  - Rafael Oliveira
PY  - 2010
UR  - https://arxiv.org/abs/1001.2188
ID  - 1001.2188
ER  -