| |
| 1995 | ||
|---|---|---|
| 2 | F. Buffoli, G. Degli Antoni, A. Marchese: OR-Parallellism in Theorem Proving: Speedups versus Timeout. Bulletin of the EATCS 55: (1995) | |
| 1994 | ||
| 1 | F. Buffoli: Split Resolution Tailoring Tableaux to Refute Clause Sets. GULP-PRODE (1) 1994: 155-169 | |
| 1 | G. Degli Antoni | [2] |
| 2 | A. Marchese | [2] |