Automatisches Beweisen mit disjunktiven Beweisverfahren. - Harald Gurres (2001)