Literature Review for an Automated Reasoning class