@book{DBLP:books/infix/Posegga93,
  author    = {Joachim Posegga},
  title     = {Deduktion mit Shannongraphen f{\"u}r Pr{\"a}dikatenlogik
               erster Stufe},
  publisher = {Infix Verlag, St. Augustin, Germany},
  series    = {DISKI},
  volume    = {51},
  year      = {1993},
  isbn      = {3-929037-51-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}