First-order theorem proving modulo equations. - Ulrich Wertz (1992)