"Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF."

Olaf Beyersdorff et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics