TY  - RPRT
TI  - Nondeterminism and an abstract formulation of Nečiporuk's lower bound method
AU  - Paul Beame
AU  - Nathan Grosshans
AU  - Pierre McKenzie
AU  - Luc Segoufin
PY  - 2016
DO  - 10.1145/3013516
UR  - https://arxiv.org/abs/1608.01932
ID  - 1608.01932
ER  -