APA (7th ed.) Citation

Bibel, W. (1987). Automated theorem proving (2., rev. ed.). Vieweg.

Chicago Style (17th ed.) Citation

Bibel, Wolfgang. Automated Theorem Proving. 2., rev. ed. Braunschweig <<[u.a.]>>: Vieweg, 1987.

MLA (9th ed.) Citation

Bibel, Wolfgang. Automated Theorem Proving. 2., rev. ed. Vieweg, 1987.