BibTeX record conf/jfplc/Pugin87

download as .bib file

@inproceedings{DBLP:conf/jfplc/Pugin87,
  author    = {Jean{-}Marc Pugin},
  title     = {Using integrity constraints to control hypotheses formation},
  booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
               1987, Tr{\'{e}}gastel, France},
  pages     = {359},
  year      = {1987},
  timestamp = {Tue, 20 Jul 2004 14:26:49 +0200},
  biburl    = {https://dblp.org/rec/conf/jfplc/Pugin87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics