Bounds on the size of PC and URC formulas

Open in new window