BibTeX record conf/jfplc/BergereFR94

download as .bib file

@inproceedings{DBLP:conf/jfplc/BergereFR94,
  author       = {Michel Berg{\`{e}}re and
                  G{\'{e}}rard Ferrand and
                  Jean{-}Hugues R{\'{e}}ty},
  editor       = {Marc{-}Michel Corsini},
  title        = {Ind{\'{e}}pendance de la r{\`{e}}gle de calcul pour la r{\'{e}}solution
                  {SLD} avec retard},
  booktitle    = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 1994, Bordeaux, France},
  pages        = {31--46},
  year         = {1994},
  timestamp    = {Mon, 19 Aug 2013 15:44:03 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/BergereFR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics