Serge Bourgault Mehmet Dincbas SPLT'88, 7<sup>ème</sup> Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France SPLT 1988 db/conf/jfplc/jfplc1988.html