Serge Bourgault Mehmet Dincbas SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France SPLT 1985 db/conf/jfplc/jfplc1985.html