APA (7th ed.) Citation

(1987). Compiling exploratory and goal-directed deduction into sloppy delta-iteration. Bibliothek d. Fak. für Mathematik u. Informatik, TUM.

Chicago Style (17th ed.) Citation

Compiling Exploratory and Goal-directed Deduction into Sloppy Delta-iteration. München: Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1987.

MLA (9th ed.) Citation

Compiling Exploratory and Goal-directed Deduction into Sloppy Delta-iteration. Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1987.