@inproceedings{GarKT-NFM-13,
  Author =	 {Pierre-Lo{\"i}c Garoche and Temesghen Kahsai and Cesare Tinelli},
  Title =	 {Incremental Invariant Generation using Logic-based Automatic Abstract Transformers},
  Booktitle =	 {Proceedings of the 5th NASA Formal Methods Symposium
                  (Moffett Field, CA, USA)},
  Editor =	 {G. Brat and N. Rungta and A. Venet},
  Publisher =	 {Springer},
  Pages =	 {139--154},
  Series =	 {Lecture Notes in Computer Science},
  Volume =	 7871,
  Year =	 2013,
}