S. Dziembowski, “The Fixpoint Bounded-Variable Queries are PSPACE-Complete”, BRICS, bd. 3, nr. 41, jun. 1996.