DZIEMBOWSKI, S. The Fixpoint Bounded-Variable Queries are PSPACE-Complete. BRICS Report Series, v. 3, n. 41, 11 Jun. 1996.