Amos Beimel Anna Gál Mike Paterson Lower Bounds for Monotone Span Programs. 29-45 1997 6 Computational Complexity 1 db/journals/cc/cc6.html#BeimelGP97