BibTeX
@inproceedings{DBLP:conf/jfplc/BeneyB86,
author = {Jean Beney and
Jean-Fran\c{c}ois Boulicaut},
title = {STARLET: un langage pour une programmation logique fiable},
booktitle = {SPLT},
year = {1986},
pages = {253-},
crossref = {DBLP:conf/jfplc/1986},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/jfplc/1986,
title = {SPLT'86, S{\'e}minaire Programmation en Logique, 21-23
mai 1986, Tr{\'e}gastel, France},
booktitle = {SPLT},
year = {1986},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-07-22 by Michael Ley (ley@uni-trier.de)