Yet Another Decision Procedure for Equality Logic.

Orly Meir, Ofer Strichman

Browse the full CAV paper archive.