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

Automatic Theorem Proving within the Portable AI Lab. - Fabio Baj; Michael Rosner (Logic Programming Summer School, 1992)

Practicing AI with the portable AI lab. - Fabio Baj; Paolo Cattaneo; Mike Rosner (LUV, 1993)