Nearly-linear time (1989)

by Y Gurevich, S Shelah
Venue:In Proceedings, Logic at Botik ’89, volume 363 of Lect. Notes in Comp. Sci