Parallel Closure-Based Automated Reasoning