@article{Seese_1996,
    doi = {10.1017/s0960129500070079},
    url = {https://doi.org/10.1017%2Fs0960129500070079},
    year = {1996},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {6},
    number = {6},
    pages = {505--526},
    author = {Detlef Seese},
    title = {Linear time computable problems and first-order descriptions},
    journal = {Mathematical Structures in Computer Science}
}

@article{Seese_1996, doi = {10.1017/s0960129500070079}, url = {https://doi.org/10.1017%2Fs0960129500070079}, year = {1996}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {6}, number = {6}, pages = {505--526}, author = {Detlef Seese}, title = {Linear time computable problems and first-order descriptions}, journal = {Mathematical Structures in Computer Science} }