@incollection{de_Moura_2007,
    doi = {10.1007/978-3-540-73595-3_13},
    url = {https://doi.org/10.1007%2F978-3-540-73595-3_13},
    year = {2007},
    publisher = {Springer Berlin Heidelberg},
    pages = {183--198},
    author = {Leonardo de Moura and Nikolaj Bj{\o}rner},
    title = {Efficient E-Matching for {SMT} Solvers},
    booktitle = {Automated Deduction {\textendash} {CADE}-21}
}

@incollection{de_Moura_2007, doi = {10.1007/978-3-540-73595-3_13}, url = {https://doi.org/10.1007%2F978-3-540-73595-3_13}, year = {2007}, publisher = {Springer Berlin Heidelberg}, pages = {183--198}, author = {Leonardo de Moura and Nikolaj Bj{\o}rner}, title = {Efficient E-Matching for {SMT} Solvers}, booktitle = {Automated Deduction {\textendash} {CADE}-21} }