@article{AbrahamCCA2016,
TITLE = {Satisfiability Checking and Symbolic Computation},
AUTHOR = {{\'A}brah{\'a}m, Erika and Abbott, John and Becker, Bernd and Bigatti, Anna M. and Brain, Martin and Buchberger, Bruno and Cimatti, Alessandro and Davenport, James H. and England, Matthew and Fontaine, Pascal and Forrest, Stephen and Griggio, Alberto and Kroening, Daniel and Seiler, Werner M. and Sturm, Thomas},
LANGUAGE = {eng},
DOI = {10.1145/3055282.3055285},
PUBLISHER = {ACM},
ADDRESS = {New York, NY},
YEAR = {2016},
DATE = {2016},
JOURNAL = {ACM Communications in Computer Algebra},
VOLUME = {50},
NUMBER = {4},
PAGES = {145--147},
}