Jean-Marie Nicolas Bases de données logiques et programmation en logique. 1983 conf/jfplc/1983 SPLT db/conf/jfplc/jfplc1983.html#Nicolas83