Miklós Ajtai Michael L. Fredman János Komlós 217-225 Information and Control December 1984 63 3 db/journals/iandc/iandc63.html#AjtaiFK84