Errata - A Resolution-style proof system for DQBF

For the main theroem to hold, we need to bring the DQBF formulas in a certain normal form (with polynomial increase in size). Thanks to Leander Tentrup for catching this. We are working on a revised version.

Happy to share more information by email.