Automated Reasoning [electronic resource] : First International Joint Conference,