2003), Algorithms: A quest for absolute definitions (0)

by A Blass, Y Gurevich
Venue:in Bull. EATCS