BibTeX record conf/wlp/KandziaS97

download as .bib file

@inproceedings{DBLP:conf/wlp/KandziaS97,
  author       = {Paul{-}Thomas Kandzia and
                  Christian Schlepphorst},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {{FLORID} - {A} Prototype for F-Logic (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 09:11:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/KandziaS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics