H.Gökalp Demirci公司 A.C.杰姆说 阿布泽·亚卡里尔马兹 辩论检查的复杂性。 TR14-016型 2014 14号机房 电子。计算机学术讨论会。复杂。 https://eccc.weizmann.ac.il/report/2014/016 db/journes/ecc/ecc21.html#DemerciSY14