Add link to Advances in Automated Theorem Proving, talk by Thomas Ball