Scholl, C.; Roland Jiang, J.-H.; Wimmer, R.; Ge-Ernst, A. A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. AAAI 2019, 33, 1584-1591.