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

people

Stephan Kreutzer