@book{Schö00,
  added-at = {2010-11-24T12:50:37.000+0100},
  author = {Schöning, Uwe},
  biburl = {http://www.bibsonomy.org/bibtex/23add88aed8771793425b6226761e8685/lysander07},
  edition = {5. Aufl.},
  interhash = {260e4258b183afc764e48261223a459f},
  intrahash = {3add88aed8771793425b6226761e8685},
  keywords = {logic semwebss06 swss06-05 swt1011 swt1011_06 swt1112 swt1112_06},
  number = 56,
  publisher = {Spektrum Akademischer Verlag},
  timestamp = {2010-11-24T12:50:37.000+0100},
  title = {Logik für {I}nformatiker},
  url = {http://www.amazon.de/gp/product/3827410053?ie=UTF8&tag=moresemantic-21&linkCode=as2&camp=1638&creative=19454&creativeASIN=3827410053},
  year = 2000
}