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