Amos Beimel Anna Gál Mike Paterson Lower Bounds for Monotone Span Programs Electronic Colloquium on Computational Complexity (ECCC) 1995 1 2 db/journals/eccc/eccc2.html#ECCC-TR95-001 http://eccc.hpi-web.de/eccc-reports/1995/TR95-001/index.html