On the Computational Complexity of Cut-Reduction | IEEE Conference Publication | IEEE Xplore