APA (7th ed.) Citation

Bibel, W., & Hölldobler, S. (1993). Deduction: Automated logic. Academic Press.

Chicago Style (17th ed.) Citation

Bibel, W., and Steffen Hölldobler. Deduction: Automated Logic. London ; San Diego: Academic Press, 1993.

MLA (9th ed.) Citation

Bibel, W., and Steffen Hölldobler. Deduction: Automated Logic. Academic Press, 1993.