Ideal Theory Refinement under Object Identity. - Esposito, Floriana; Fanizzi, Nicola; Ferilli, Stefano; Semeraro, Giovanni (2000)