@InProceedings{Bjorner+Dutertre+deMoura:lpar2008,
  author = 	 {Bj{\o}rner, Nikolaj and Dutertre, Bruno and de~Moura, Leonardo},
  title = 	 {Accelerating Lemma Learning using Joins},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'2008)},
  year = 	 2008,
  month = 	 {November},
  note = 	 {Short paper}}