Backtracking Games and Inflationary Fixed Points
Anuj Dawar‚ Erich Grädel and Stephan Kreutzer
Journal
Theoretical Computer Science
Note
ICALP 2004 Selected Paper issue
Number
2−3
Pages
171 – 187
Volume
350
Year
2006
Anuj Dawar‚ Erich Grädel and Stephan Kreutzer