Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings (2010)