@incollection{Kuncak,
    doi = {10.1007/978-3-540-73595-3_15},
    url = {https://doi.org/10.1007%2F978-3-540-73595-3_15},
    publisher = {Springer Berlin Heidelberg},
    pages = {215--230},
    author = {Viktor Kuncak and Martin Rinard},
    title = {Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic},
    booktitle = {Automated Deduction {\textendash} {CADE}-21}
}

@incollection{Kuncak, doi = {10.1007/978-3-540-73595-3_15}, url = {https://doi.org/10.1007%2F978-3-540-73595-3_15}, publisher = {Springer Berlin Heidelberg}, pages = {215--230}, author = {Viktor Kuncak and Martin Rinard}, title = {Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic}, booktitle = {Automated Deduction {\textendash} {CADE}-21} }