Yves Ledru Identifying Pre-Conditions with the Z/EVES Theorem Prover. 32- 1998 ASE http://computer.org/proceedings/ase/8750/87500032abs.htm db/conf/kbse/ase1998.html#Ledru98