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

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