D. Ranson J. P. Lepape BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. 35-50 1992 conf/jfplc/1992 JFPL db/conf/jfplc/jfpl1992.html#RansonL92