Corrected upper bounds for free-cut elimination

Arnold Beckmann, Samuel R. Buss. Corrected upper bounds for free-cut elimination. Theoretical Computer Science, 412(39):5433-5445, 2011. [doi]

Abstract

Abstract is missing.