Handbuch der Informatik - 6.2: DeduktionAutomatisierung der Logik269 pages10 hours of reading1992Track