Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation Logique. - Christian Debarbieri (1990)