Tailoring recursion for complexity
Grädel, Erich; Gurevich, Yuri
Champaign, Ill / Association for Symbolic Logic (1995) [Journal Article]
The journal of symbolic logic
Volume: 60
Page(s): 952-969
Identifier
- DOI: 10.2307/2275767
- REPORT NUMBER: RWTH-CONV-016915