The Fixpoint Bounded-Variable Queries are PSPACE-Complete (1996)

by S. Dziembowski, Stefan Dziembowski
Venue:Presented at the 10th Annual International Conference of the European Association for Computer Science Logic, CSL '96