A Scheduling Strategy for Parallel Proof Checking and Verification