Breaking the rectangle bound barrier against formula size lower bounds

From MaRDI portal
Publication:3586121