Laurent Vieille. Le traitement des axiomes récursifs dans les bases de données déductives. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985.
No reviews for this publication, yet.