Ronald Fagin Logic, Complexity, and Games. 3 2000 LICS http://www.computer.org/proceedings/lics/0725/07250003abs.htm db/conf/lics/lics2000.html#Fagin00