A Proof System and a Decision Procedure for Equality Logic.

Olga Tveretina, Hans Zantema

Browse the full LATIN paper archive.