Janos A. Makowsky
Capturing relativized complexity classes with Lindström quantifiers
1995
in: The foundational debate, Dordrecht : Springer
Capturing relativized complexity classes with Lindström quantifiers
1995
in: The foundational debate, Dordrecht : Springer