Techniques for Automated Deduction - CS 294-3 - Fall 2004