* Automated Reasoning Database at Stanford. * The TPTP Home Page. * QED Home page. * ORA Bibliography of Automated Deduction * Tomás Uribe's automated deduction page. * Logical Frameworks Page. * Formal Methods Library at Oxford. * The Mizar Home Page. * Association for Automated Reasoning (AAR) * Conference on Automated Deduction (CADE) * Journal of Automated Reasoning (JAR)