Backtracking Games and Inflationary Fixed Points - Dawar, A; Grädel, E; Kreutzer, S (2006)