Ming Li John Tromp Paul M. B. Vitányi Sharpening Occam's Razor. 411-419 2002 conf/cocoon/2002 COCOON http://link.springer.de/link/service/series/0558/bibs/2387/23870411.htm db/conf/cocoon/cocoon2002.html#LiTV02