Philippe Besnard. Sur la détection des boucles infinies en programmation en logique. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985.
@inproceedings{Besnard85,
title = {Sur la détection des boucles infinies en programmation en logique},
author = {Philippe Besnard},
year = {1985},
researchr = {https://researchr.org/publication/Besnard85},
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},
}