@InProceedings{NieuwenhuisOliveras2003LPAR,
  author = "R. Nieuwenhuis and A. Oliveras",
  title = {{Congruence Closure with Integer Offsets}},
  pages = "78-90",
  booktitle = "10th International Conference on Logic for Programming,
 Artificial Intelligence and Reasoning, LPAR'03", 
  year = "2003",
  editor = "M. Vardi and A. Voronkov",
    series    = {Lecture Notes in Computer Science},
  volume    = {2850},
  publisher = {Springer}
}