Dziembowski, S. (1996) “The Fixpoint Bounded-Variable Queries are PSPACE-Complete”, BRICS Report Series, 3(41). doi: 10.7146/brics.v3i41.20023.