Nondeterminism and An Abstract Formulation of Nečiporuk's Lower Bound Method

Paul Beame, Nathan Grosshans, Pierre McKenzie, Luc Segoufin. Nondeterminism and An Abstract Formulation of Nečiporuk's Lower Bound Method. TOCT, 9(1), 2016. [doi]