@inproceedings{Heizmann:2010:NI:1706299.1706353,
    Address = {New York, NY, USA},
    Author = {Heizmann, Matthias and Hoenicke, Jochen and Podelski, Andreas},
    BookTitle = {Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {Nested interpolants - Heizmann, Hoenicke, Podelski (0) (0) - a - a - p.pdf},
    ISBN = {978-1-60558-479-9},
    Keywords = {abstract interpretation, abstraction refinement, nested words, software model checking, static analysis, partial correctness},
    Location = {Madrid, Spain},
    Pages = {471--482},
    Publisher = {ACM},
    Series = {POPL '10},
    Title = {Nested interpolants},
    URL = {http://doi.acm.org/10.1145/1706299.1706353},
    Year = {2010},
    acmid = {1706353},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1706299.1706353},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1706299.1706353},
    date-added = {2013-01-22 14:30:41 +0000},
    date-modified = {2013-01-22 14:54:07 +0000},
    numpages = {12},
    doi = {10.1145/1706299.1706353}
}

@inproceedings{Heizmann:2010:NI:1706299.1706353, Address = {New York, NY, USA}, Author = {Heizmann, Matthias and Hoenicke, Jochen and Podelski, Andreas}, BookTitle = {Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {Nested interpolants - Heizmann, Hoenicke, Podelski (0) (0) - a - a - p.pdf}, ISBN = {978-1-60558-479-9}, Keywords = {abstract interpretation, abstraction refinement, nested words, software model checking, static analysis, partial correctness}, Location = {Madrid, Spain}, Pages = {471--482}, Publisher = {ACM}, Series = {POPL '10}, Title = {Nested interpolants}, URL = {http://doi.acm.org/10.1145/1706299.1706353}, Year = {2010}, acmid = {1706353}, bdsk-url-1 = {http://doi.acm.org/10.1145/1706299.1706353}, bdsk-url-2 = {http://dx.doi.org/10.1145/1706299.1706353}, date-added = {2013-01-22 14:30:41 +0000}, date-modified = {2013-01-22 14:54:07 +0000}, numpages = {12}, doi = {10.1145/1706299.1706353} }