D. Ranson, J. P. Lepape. BOCAL: Bibliothèque d objets pour le traitement des contraintes arithméthiques et logiques. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 35-50, 1992.
Abstract is missing.