OR-Parallellism in Theorem Proving: Speedups versus Timeout. - F. Buffoli; G. Degli Antoni; A. Marchese (Bull. EATCS, 1995)