Title: First-order theorem proving modulo equations