@article{mathur2024decisionproblemregularfirstorder,
    title = {The Decision Problem for Regular First-Order Theories},
    author = {Umang Mathur and David Mestel and Mahesh Viswanathan},
    year = {2024},
    eprint = {2410.17185},
    archiveprefix = {arXiv},
    primaryclass = {cs.LO},
    url = {https://arxiv.org/abs/2410.17185},
    doi = {https://doi.org/10.48550/arXiv.2410.17185},
    date-added = {2024-10-23 7:58:28 +0100}
}

@article{mathur2024decisionproblemregularfirstorder, title = {The Decision Problem for Regular First-Order Theories}, author = {Umang Mathur and David Mestel and Mahesh Viswanathan}, year = {2024}, eprint = {2410.17185}, archiveprefix = {arXiv}, primaryclass = {cs.LO}, url = {https://arxiv.org/abs/2410.17185}, doi = {https://doi.org/10.48550/arXiv.2410.17185}, date-added = {2024-10-23 7:58:28 +0100} }