J. Durand M. Rusinovitch Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. 91- 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#DurandR86