Ulrich Wertz

• First-order theorem proving modulo equations