@inproceedings{ReyTH-SMT-11,
  Author =	 {Andrew Reynolds and Cesare Tinelli and Liana
                  Hadarean},
  Booktitle =	 {Proceedings of the 9th International Workshop on
                  Satisfiability Modulo Theories (Snowbird, USA)},
  Editor =	 {S.~Lahiri and S.~Seshia},
  Title =	 {Certified Interpolant Generation for {EUF}},
  Year =	 2011
}