@article{Biere2020,
TITLE = {Preface to the Special Issue on Automated Reasoning Systems},
AUTHOR = {Biere, Armin and Tinelli, Cesare and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-019-09531-1},
PUBLISHER = {D. Reidel Pub. Co.},
ADDRESS = {Dordrecht, Holland},
YEAR = {2020},
DATE = {2020},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {64},
NUMBER = {3},
PAGES = {361--362},
}