@article{Willard_1994,
    doi = {10.2307/2275703},
    url = {https://doi.org/10.2307%2F2275703},
    year = {1994},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {59},
    number = {4},
    pages = {1254--1262},
    author = {Ross Willard},
    title = {Hereditary undecidability of some theories of finite structures},
    journal = {Journal of Symbolic Logic}
}

@article{Willard_1994, doi = {10.2307/2275703}, url = {https://doi.org/10.2307%2F2275703}, year = {1994}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {59}, number = {4}, pages = {1254--1262}, author = {Ross Willard}, title = {Hereditary undecidability of some theories of finite structures}, journal = {Journal of Symbolic Logic} }