Backtracking games and inflationary fixed points (2006)

by Anuj Dawar , Erich Grädel , Stephan Kreutzer
Venue:THEORETICAL COMPUTER SCIENCE
Citations:4 - 4 self