@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  = {}}