Time-space tradeoffs in resolution

From MaRDI portal
Publication:5415477