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