Sufficient conditions for cut elimination with complexity analysis
scientific article