@unpublished{KerberPraecklein1999,
  author  = {Manfred Kerber and Axel Pr{\"a}cklein},
  title   = {Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving},
  institution = {Fachbereich Informatik},
  series    = {SEKI Report},
  number    = {92,9},
  year    = {1999},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-3065},
}