A Nonlinear Lower Bound on the Practical Combinational Complexity. - Xaver Gubás; Juraj Hromkovic; Juraj Waczulík (Theor. Comput. Sci., 1995)