C. Scholl, J.-H. Roland Jiang, R. Wimmer, and A. Ge-Ernst, “A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving”, AAAI, vol. 33, no. 01, pp. 1584-1591, Jul. 2019.