- Epilogue. SPLT 1989: 607-
- Pascal Yim:
Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles. SPLT 1989: 7-24 - Serge Bourgault, Mehmet Dincbas:
SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. 1989 [contents]