Automated Logical Proofs