@TECHREPORT{BauFT-RR-06,
  author =	 {Peter Baumgartnera and Alexander Fuchs and Cesare Tinelli},
  title =	 {Lemma Learning in the Model Evolution Calculus},
  institution =	 {Department of Computer Science, University of Iowa},
  month =	 aug,
  year =	 2006,
  number =	 {06-04},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BauFT-RR-06.pdf},
}