@article{Min__2006,
    doi = {10.1007/s10990-006-8609-1},
    url = {https://doi.org/10.1007%2Fs10990-006-8609-1},
    year = {2006},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {19},
    number = {1},
    pages = {31--100},
    author = {Antoine Min{\'{e}}},
    title = {The octagon abstract domain},
    journal = {Higher-Order and Symbolic Computation}
}

@article{Min__2006, doi = {10.1007/s10990-006-8609-1}, url = {https://doi.org/10.1007%2Fs10990-006-8609-1}, year = {2006}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {19}, number = {1}, pages = {31--100}, author = {Antoine Min{\'{e}}}, title = {The octagon abstract domain}, journal = {Higher-Order and Symbolic Computation} }