and Saharon Shelah. Nearly linear time (1989)

by Yuri Gurevich
Venue:In Logic at Botik ’89, Symposium on Logical Foundations of Computer Science