David A. McAllester Meta-complexity Theorems: Talk Abstract. 13-17 http://link.springer.de/link/service/series/0558/bibs/1894/18940013.htm 2000 conf/cp/2000 CP db/conf/cp/cp2000.html#McAllester00