Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements: A Report on ARCADE 2019

[1]  Dmitriy Traytel,et al.  A Report of ARCADE 2017 , 2017, ARCADE@CADE.