Automated deduction - CADE 23 : 23rd international conference on automated deduction, Wrocław, Poland, july 31 - August 5, 2011. Proceedings (2011)