Yet Another Decision Procedure for Equality Logic. - Orly Meir; Ofer Strichman (CAV, 2005)