@book{0001184,
  title = {Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren},
  author = {Joachim F. Schreiber},
  year = {1996},
  researchr = {https://researchr.org/publication/0001184},
  cites = {0},
  citedby = {0},
  publisher = {Utz},
  isbn = {978-3-931327-47-7},
}