This is your work, valued
Roars (Research on Automated Reasoning Systems) Lab at George Mason University