Narrow Proofs May Be Spacious:Separating Space and Width in Resolution

From MaRDI portal
Publication:5189540