Design and development of ENprover, an automated theorem proving system based on EN-strategy.

Fabio Baj Massimo Bruschi Antonella Zanzi Design and development of ENprover, an automated theorem proving system based on EN-strategy. 278-279 1990 conf/disco/1990 DISCO db/conf/disco/disco1990.html#BajBZ90 http://dx.doi.org/10.1007/3-540-52531-9_154