Dziembowski, S. The Fixpoint Bounded-Variable Queries Are PSPACE-Complete. BRICS 1996, 3.