DBLP BibTeX Record 'conf/wlp/BryM95'

@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},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}