Toniann Pitassi Robert Robere Strongly exponential lower bounds for monotone computation. 1246-1255 2017 STOC https://doi.org/10.1145/3055399.3055478 conf/stoc/2017 db/conf/stoc/stoc2017.html#PitassiR17