Deduction :
automated logic /
by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella.
APA Citation
Bibel, W., Neugebauer, G., Hölldobler, S. (1993). Deduction: automated logic. London: Academic Press.
MLA Citation
Bibel, W., 1938-, Gerd Neugebauer, and Steffen Hölldobler. Deduction: Automated Logic. London: Academic Press, 1993.
Warning: These citations may not always be complete (especially for serials).