Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds
scientific article