@article{Kuncak_2006,
    doi = {10.1007/s10817-006-9042-1},
    url = {https://doi.org/10.1007%2Fs10817-006-9042-1},
    year = {2006},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {36},
    number = {3},
    pages = {213--239},
    author = {Viktor Kuncak and Huu Hai Nguyen and Martin Rinard},
    title = {Deciding Boolean Algebra with Presburger Arithmetic},
    journal = {Journal of Automated Reasoning}
}

@article{Kuncak_2006, doi = {10.1007/s10817-006-9042-1}, url = {https://doi.org/10.1007%2Fs10817-006-9042-1}, year = {2006}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {36}, number = {3}, pages = {213--239}, author = {Viktor Kuncak and Huu Hai Nguyen and Martin Rinard}, title = {Deciding Boolean Algebra with Presburger Arithmetic}, journal = {Journal of Automated Reasoning} }