The relative complexity of resolution and cut-free Gentzen systems
scientific article; zbMATH DE number 1005824