PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning Conference