A Scheduling Strategy for Parallel Proof Checking and Verification. - Pei He; Lishan Kang; Zengliang Xiao; Zhuoyu Xiao (ICNSC, 2008)