Detlef Seese. Linear Time Computable Problems and First-Order Descriptions. Mathematical Structures in Computer Science, 6(6):505-526, 1996.
@article{Seese96, title = {Linear Time Computable Problems and First-Order Descriptions}, author = {Detlef Seese}, year = {1996}, researchr = {https://researchr.org/publication/Seese96}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {6}, number = {6}, pages = {505-526}, }