TY  - RPRT
TI  - Towards a Generic Trace for Rule Based Constraint Reasoning
AU  - Armando Gonçalves Da Silva Junior
AU  - Pierre Deransart
AU  - Luis-Carlos Menezes
AU  - Marcos-Aurélio Almeida Da Silva
AU  - Jacques Robin
PY  - 2012
UR  - https://arxiv.org/abs/1204.5280
ID  - 1204.5280
ER  -