APA (7th ed.) Citation

Meyer-Seidler, P. (1989). Automatisches Beweisen in abstrakten Suchbäumen. Inst. f. Informatik.

Chicago Style (17th ed.) Citation

Meyer-Seidler, Peter. Automatisches Beweisen in Abstrakten Suchbäumen. Bonn: Inst. f. Informatik, 1989.

MLA (9th ed.) Citation

Meyer-Seidler, Peter. Automatisches Beweisen in Abstrakten Suchbäumen. Inst. f. Informatik, 1989.