A sharp proof rule for procedures in wp semantics A. BijlsmaP. A. MatthewsJ. G. Wiltink OriginalPaper Pages: 409 - 419
Expected behaviour of B+-trees under random insertions Ricardo A. Baeza-Yates OriginalPaper Pages: 439 - 471
Stable duplicate-key extraction with optimal time and space bounds Bing Chao HuangMichael A. Langston OriginalPaper Pages: 473 - 484