@InProceedings{FucGGKT-TACAS-09,
  author =	 {Alexander Fuchs and Amit Goel and Jim Grundy and
              Sava Krsti\'{c} and Cesare Tinelli},
  title =	 {Ground Interpolation for the Theory of Equality},
  booktitle =	 {Proceedings of the 15th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (York, UK)},
  year =	 2009,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  pages =	 {413--427},
  editor =	 {S.~Kowalewski and A.~Philippou},
  volume =	 5505,
  url =		 {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/FucGGKT-TACAS-09.pdf},
}