Linear time computable problems and first-order descriptions (1996)

by D Seese
Venue:Mathematical Structures in Computer Science 6