@inproceedings{mathur2025thedecisionp,
 author = {Umang Mathur and David Mestel and Mahesh Viswanathan},
 booktitle = {POPL 2025},
 title = {The Decision Problem for Regular First-Order Theories},
 url = {https://arxiv.org/abs/2410.17185},
 year = {2025}
}