@article{Borralleras_2019,
    doi = {10.1145/3340923},
    url = {https://doi.org/10.1145%2F3340923},
    year = {2019},
    month = {aug},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {20},
    number = {4},
    pages = {1--36},
    author = {Cristina Borralleras and Daniel Larraz and Enric Rodr{\'{\i}}guez-Carbonell and Albert Oliveras and Albert Rubio},
    title = {Incomplete {SMT} Techniques for Solving Non-Linear Formulas over the Integers},
    journal = {{ACM} Transactions on Computational Logic}
}

@article{Borralleras_2019, doi = {10.1145/3340923}, url = {https://doi.org/10.1145%2F3340923}, year = {2019}, month = {aug}, publisher = {Association for Computing Machinery ({ACM})}, volume = {20}, number = {4}, pages = {1--36}, author = {Cristina Borralleras and Daniel Larraz and Enric Rodr{\'{\i}}guez-Carbonell and Albert Oliveras and Albert Rubio}, title = {Incomplete {SMT} Techniques for Solving Non-Linear Formulas over the Integers}, journal = {{ACM} Transactions on Computational Logic} }