Resolution für quantifizierte Boole'sche Formeln - Flögel, Andreas (1993)