@inproceedings{LDD+01,
title = { Prototyping CLP(FD) tracers: a trace model and an experimental validation environment },
author = {Langevine, Ludovic and Deransart, Pierre and Ducass\'e, Mireille and Jahier, Erwan},
year = {2001},
booktitle = {WLPE},
team = {irisa/lande},
}
