BibTeX record: conf/wlp/BryM95

download as .bib file

@inproceedings{DBLP:conf/wlp/BryM95,
  author    = {Fran{\c{c}}ois Bry and
               Rainer Manthey},
  title     = {Variationen {\"{u}}ber ein Thema: Suchstrategien und Datenstrukturen
               f{\"{u}}r SATCHMO-Beweiser},
  booktitle = {{WLP}},
  year      = {1995},
  pages     = {205--216},
  timestamp = {Mon, 20 Oct 2014 19:59:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wlp/BryM95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}