Split Resolution Tailoring Tableaux to Refute Clause Sets. - F. Buffoli (GULP-PRODE (1), 1994)

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