Compilation de Prolog sur une machine de traitement symbolique. - Abderrahmane Aggoun; J. Y. Charpentier; J. P. Lepape; D. Ranson (SPLT, 1987)

LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique. - J. P. Lepape; Serge Bourgault; D. Ranson (SPLT, 1987)

CLEFv1 et la Programmation en Logique avec Contraintes. - J. P. Lepape; D. Ranson (SPLT, 1990)

BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. - D. Ranson; J. P. Lepape (JFPL, 1992)