Time polynomial in input or output (1989)

by Y Gurevich, S Shelah
Venue:J. Symbolic Logic