Armando Gonçalves Da Silva Junior

Towards a Generic Trace for Rule Based Constraint Reasoning pdf

Pierre Deransart, Marcos Aurélio Almeida da Silva, Jacques Robin, 2012, ArXiv.