Automated deduction - CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings (2019)