F. Lonsing, M. Seidl (Hrg.): "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)"; CEUR-WS.org, 2016, ISSN: 1613-0073; 70 S.
Projektleitung Uwe Egly: Quantified Boolean Formulas