%0 Journal Article %1 journals/jar/BiereTW20 %A Biere, Armin %A Tinelli, Cesare %A Weidenbach, Christoph %D 2020 %J J. Autom. Reason. %K dblp %N 3 %P 361-362 %T Preface to the Special Issue on Automated Reasoning Systems. %U http://dblp.uni-trier.de/db/journals/jar/jar64.html#BiereTW20 %V 64

@article{journals/jar/BiereTW20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Biere, Armin and Tinelli, Cesare and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/24ac19fa29b2b4c40c7b6255fe15e6b8b/dblp}, ee = {https://doi.org/10.1007/s10817-019-09531-1}, interhash = {7de56fe1ed2733a8e828713611b2d5a2}, intrahash = {4ac19fa29b2b4c40c7b6255fe15e6b8b}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 3, pages = {361-362}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Preface to the Special Issue on Automated Reasoning Systems.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar64.html#BiereTW20}, volume = 64, year = 2020 }