Meyer-Seidler, P. (1989). Automatisches Beweisen in abstrakten Suchbäumen. Inst. f. Informatik.
Chicago-Zitierstil (17. Ausg.)Meyer-Seidler, Peter. Automatisches Beweisen in Abstrakten Suchbäumen. Bonn: Inst. f. Informatik, 1989.
MLA-Zitierstil (9. Ausg.)Meyer-Seidler, Peter. Automatisches Beweisen in Abstrakten Suchbäumen. Inst. f. Informatik, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.