Towards a Generic Trace for Rule Based Constraint Reasoning - Armando Gonçalves Da Silva Junior; Pierre Deransart; Luis-Carlos Menezes; Marcos Aurélio Almeida da Silva; Jacques Robin (CoRR, 2012)