Jean-Marc Boï, Antoine Rauzy. La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 90, 8:::ème::: Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France. pages 511-522, 1990.
@inproceedings{BoiR90,
title = {La démonstration automatique en calcul propositionnel au service de la programmation par contraintes},
author = {Jean-Marc Boï and Antoine Rauzy},
year = {1990},
researchr = {https://researchr.org/publication/BoiR90},
cites = {0},
citedby = {0},
pages = {511-522},
booktitle = {SPLT 90, 8:::ème::: Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France},
editor = {Serge Bourgault and Mehmet Dincbas},
}