GQBF and proof complexity / von Peter Haberl. 2011
Inhalt