Zur Effizienz der Beweissuche in der Logikverarbeitung. - Ulf Dunker (Shaker, 1997)