A Generalization Model Based on OI-implication for Ideal Theory Refinement

Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro. A Generalization Model Based on OI-implication for Ideal Theory Refinement. Fundamenta Informaticae, 47(1-2):15-33, 2001.

Abstract

Abstract is missing.