An efficient multiway merging algorithm

From MaRDI portal
Publication:1286689