Redirecting you to the new Automated Reasoning Group webpage, if you are not taken there after a few moments please click this link: http://reasoning.wikispaces.asu.edu