| 1992 | ||
|---|---|---|
| 2 | Massimo Bruschi: Theorem Proving Engine and Strategy Description Language. FGCS 1992: 634-642 | |
| 1990 | ||
| 1 | Fabio Baj, Massimo Bruschi, Antonella Zanzi: Design and development of ENprover, an automated theorem proving system based on EN-strategy. DISCO 1990: 278-279 | |
| 1 | Fabio Baj | [1] |
| 2 | Antonella Zanzi | [1] |