Regular First-Order Theories accepted at POPLNov 7, 2024The Decision Problem for Regular First-Order Theories accepted to appear at POPL 2025.