@Article{FucGGHT-LMCS-12,
  author =	 {Alexander Fuchs and Amit Goel and Jim Grundy and
                  Sava Krsti{\'c} and Cesare Tinelli},
  title =	 {Ground Interpolation for the Theory of Equality},
  journal =	 {Logical Methods in Computer Science},
  volume =	 8,
  number =	 {1:06},
  pages =	 {1--23},
  month =	 Feb,
  year =	 2012,
}