Automated Deduction - CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings - Fontaine, Pascal; Fontaine, Pascal (Springer International Publishing : Imprint: Springer, 2019)