Michel Billaud. Formalisation des structures de contrôle de PROLOG. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985.
@inproceedings{Billaud85,
title = {Formalisation des structures de contrôle de PROLOG},
author = {Michel Billaud},
year = {1985},
tags = {Prolog},
researchr = {https://researchr.org/publication/Billaud85},
cites = {0},
citedby = {0},
booktitle = {SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France},
editor = {Serge Bourgault and Mehmet Dincbas},
}