Seidl, MartinaWagner, Dorothea2020-08-212020-08-212008978-3-88579-412-7https://dl.gi.de/handle/20.500.12116/33644deEin Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform1617-5468