Floriana Esposito Nicola Fanizzi Stefano Ferilli Giovanni Semeraro Ideal Theory Refinement under Object Identity. 263-270 2000 conf/icml/2000 ICML db/conf/icml/icml2000.html#EspositoFFS00