Backtracking games and inflationary fixed points

Podrobná bibliografie
Hlavní autoři: Dawar, A, Grädel, E, Kreutzer, S
Médium: Conference item
Vydáno: 2004