Christiane Massoutie, Patrick Sallé. Une autre interprétation top down des clauses de Horn: interface avec une base de données. In Mehmet Dincbas, editor, SPLT 84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France. 1984.
Abstract is missing.