@InProceedings{l04-p530-539, AUTHOR = {Olga Tveretina and Hans Zantema}, TITLE = {A Proof System and a Decision Procedure for Equality Logic}, YEAR = 2004, ADDRESS = {Buenos Aires, Argentina}, BOOKTITLE = {Proc.~of the 6th Latin American Symposium on Theoretical Informatics (LATIN'04)}, PAGES = {530--539}, KEYWORDS = {}}