Carine Fédèle Emmanuel Kounalis Automatic Proofs of Properties of Simple C<sup>--</sup> Modules. 283-286 1999 ASE http://computer.org/proceedings/ase/0415/04150283abs.htm db/conf/kbse/ase1999.html#FedeleK99