Return to Article Details
The Fixpoint Bounded-Variable Queries are PSPACE-Complete
Download
Download PDF