The Complexity of Independence−Friendly Fixpoint Logic
Julian Bradfield and Stephan Kreutzer
Book Title
Proceedings of the 14th Annual Conference of the European Association for Computer Science Logic (CSL)
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3634
Year
2005