@inproceedings{DBLP:conf/ppcp/MenezesBC93,
author = {Francisco Menezes and
Pedro Barahona and
Philippe Codognet},
title = {An Incremental Hierarchical Constraint Solver},
booktitle = {PPCP},
year = {1993},
pages = {190-199},
bibsource = {DBLP, http://dblp.uni-trier.de}
}