Sergei N. Artëmov Roman Kuznets Logical Omniscience Via Proof Complexity. 135-149 2006 conf/csl/2006 CSL http://dx.doi.org/10.1007/11874683_9 db/conf/csl/csl2006.html#ArtemovK06