Linear Time Computable Problems and First-Order Descriptions (1996)

by D Seese
Venue:Mathematical Structures in Computer Science