Erich Grädel Yuri Gurevich Tailoring Recursing for Complexity. 118-129 1994 conf/icalp/1994 ICALP db/conf/icalp/icalp94.html#GradelG94 http://dx.doi.org/10.1007/3-540-58201-0_62