Design and development of ENprover, an automated theorem proving system based on EN-strategy. - Fabio Baj; Massimo Bruschi; Antonella Zanzi (DISCO, 1990)

Theorem Proving Engine and Strategy Description Language. - Massimo Bruschi (FGCS, 1992)