Nadine Cullot Jean-Jacques Chabrier STRALOG: Système expérimental de programmation logique multi-stratégies. 287-310 1989 conf/jfplc/1989 SPLT db/conf/jfplc/jfplc1989.html#CullotC89