@article{KreutzerSch04,
  author = "Stephan Kreutzer and Nicole Schweikardt",
  journal = "it - {I}nformation {T}echnology",
  note = "in german",
  number = "3",
  pages = "162--166",
  title = "Logik und {I}nformatik",
  volume = "46",
  year = "2004",
}