F. Carre Patrick Sallé Acteurs et programmation en logique: ALOG. 1983 conf/jfplc/1983 SPLT db/conf/jfplc/jfplc1983.html#CarreS83