@conference{Berlandier94,
author = "P. Berlandier and B. Neveu",
address = "New Orleans, LA",
booktitle = "Proc. of the 6$^th$ IEEE International Conference
                   on Tools with Artificial Intelligence (TAI94)",
title = "{M}aintaining {A}rc {C}onsistency through {C}onstraint
                   {R}etraction",
year = "1994",
}