BibTeX record conf/jfplc/DurandR86

download as .bib file

@inproceedings{DBLP:conf/jfplc/DurandR86,
  author       = {J. Durand and
                  M. Rusinovitch},
  title        = {Vers une m{\'{e}}thodologie de programmation en logique: {A}
                  propos d'une classe de probl{\`{e}}mes},
  booktitle    = {SPLT'86, S{\'{e}}minaire Programmation en Logique, 21-23 mai
                  1986, Tr{\'{e}}gastel, France},
  pages        = {91},
  year         = {1986},
  timestamp    = {Thu, 22 Jul 2004 12:41:50 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DurandR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}