Subject: Automated Theorem Proving

Recommendation: Harrison, Handbook of Practical Logic and Automated Reasoning

Reason: Afraid I'm going to break the rules here, I haven't read any other books on the subject but as there's nothing posted here on ATPs I thought this might be useful to someone. The book is an excellent introductory text for someone who has a CS background but not in logic, and who wants to learn about theorem provers for from a practical perspective.