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