Francis Alexandre. Une heuristique pour transformer des programmes logiques. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 143-158, 1989.
@inproceedings{Alexandre89,
title = {Une heuristique pour transformer des programmes logiques},
author = {Francis Alexandre},
year = {1989},
researchr = {https://researchr.org/publication/Alexandre89},
cites = {0},
citedby = {0},
pages = {143-158},
booktitle = {SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France},
editor = {Serge Bourgault and Mehmet Dincbas},
}