![]() | ![]() |
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] |