Kazuyuki Amano Akira Maruoka The Monotone Circuit Complexity of Quadratic Boolean Functions. 3-14 2006 46 Algorithmica 1 http://dx.doi.org/10.1007/s00453-006-0073-0 db/journals/algorithmica/algorithmica46.html#AmanoM06