Automated Logic Pittsburgh