S. Dziembowski, “The Fixpoint Bounded-Variable Queries are PSPACE-Complete”, BRICS, vol. 3, no. 41, Jun. 1996.