1984'

BibTeX

@proceedings{DBLP:conf/jfplc/1984,
  editor    = {Mehmet Dincbas},
  title     = {SPLT'84, S{\'e}minaire Programmation en Logique, 25-27
               avril 1984, Plestin-les-Gr{\`e}ves, France},
  booktitle = {SPLT},
  year      = {1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}