François Laburthe Yves Caseau De l'utilité des contraintes pour explorer des catalogues. 141-154 2003 conf/jfplc/2003 JFPLC db/conf/jfplc/jfplc2003.html#LaburtheC03