@misc{indiciae4eb36c3ebfa2,
  title = {The Decision Problem for Regular First-Order Theories},
  author = {Umang Mathur and David Mestel and Mahesh Viswanathan},
  year = {2024},
  doi = {10.1145/3704870},
  url = {https://arxiv.org/abs/2410.17185},
  note = {Source identifier: 2410.17185}
}