Beweiser für quantifizierte Boolesche Ausdrücke - QUAFFLE Arman Allahyari-Abhari Universität Bremen Fachbereich 3.