Pierre Deransart. Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 41, 1989.
Abstract is missing.