Yuichi Goto Jingde Cheng A quantitative analysis of implicational paradoxes in classical mathematical logic. 42-43 2006 conf/sac/2006 SAC http://doi.acm.org/10.1145/1141277.1141286 db/conf/sac/sac2006.html#GotoC06