Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. - J. Durand; M. Rusinovitch (SPLT, 1986)