Nearly-linear time (1989)

by Y Gurevich, S Shelah
Venue:In Proc. Logic at Botik, number 363 in Lecture Notes in Computer Science