@inproceedings{Abraham_2015,
    doi = {10.1145/2755996.2756636},
    url = {https://doi.org/10.1145%2F2755996.2756636},
    year = {2015},
    month = {jun},
    publisher = {{ACM}},
    author = {Erika Abraham},
    title = {Building Bridges between Symbolic Computation and Satisfiability Checking},
    booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic and Algebraic Computation}
}

@inproceedings{Abraham_2015, doi = {10.1145/2755996.2756636}, url = {https://doi.org/10.1145%2F2755996.2756636}, year = {2015}, month = {jun}, publisher = {{ACM}}, author = {Erika Abraham}, title = {Building Bridges between Symbolic Computation and Satisfiability Checking}, booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic and Algebraic Computation} }