Deduktion. Automatisierung der Logik - Bibel, Wolfgang; Hölldobler, Steffen (Oldenbourg Verlag, 1992)