The relative complexity of resolution and cut-free Gentzen systems

From MaRDI portal
Publication:1353988