@article{De_Moura_2011,
    doi = {10.1145/1995376.1995394},
    url = {https://doi.org/10.1145%2F1995376.1995394},
    year = {2011},
    month = {sep},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {54},
    number = {9},
    pages = {69--77},
    author = {Leonardo De Moura and Nikolaj Bj{\o}rner},
    title = {Satisfiability modulo theories},
    journal = {Communications of the {ACM}}
}

@article{De_Moura_2011, doi = {10.1145/1995376.1995394}, url = {https://doi.org/10.1145%2F1995376.1995394}, year = {2011}, month = {sep}, publisher = {Association for Computing Machinery ({ACM})}, volume = {54}, number = {9}, pages = {69--77}, author = {Leonardo De Moura and Nikolaj Bj{\o}rner}, title = {Satisfiability modulo theories}, journal = {Communications of the {ACM}} }