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 references recorded for this publication.
No citations of this publication recorded.