@misc {IOPORT.70167810,
    author       = {Griggio, Alberto and Le, Thi Thieu Hoa and Sebastiani, Roberto},
    title        = {Efficient interpolant generation in satisfiability modulo linear integer arithmetic},
    howpublished = {TACAS, 143-157 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-19835-9_13},
    identifier   = {70167810},
}