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.