Automated deduction - CADE 27 : 27th international conference on automated deduction, Natal, Brazil, august 27-30, 2019, proceedings (2019)