BibTeX record: conf/wlp/KandziaS97

download as .bib file

@inproceedings{DBLP:conf/wlp/KandziaS97,
  author    = {Paul{-}Thomas Kandzia and
               Christian Schlepphorst},
  title     = {{FLORID} - {A} Prototype for F-Logic (system description)},
  booktitle = {{WLP}},
  pages     = {0},
  year      = {1997},
  timestamp = {Thu, 03 Jan 2002 12:11:23 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wlp/KandziaS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}