Keywords:
 
UCLA Automated Reasoning Group: SAMIAM