Sergei N. Artëmov Roman Kuznets Logical omniscience as a computational complexity problem. 14-23 2009 TARK http://doi.acm.org/10.1145/1562814.1562821 conf/tark/2009 db/conf/tark/tark2009.html#ArtemovK09