Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro. Refining Logic Theories under OI-Implication. In Zbigniew W. Ras, Setsuo Ohsuga, editors, Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Volume 1932 of Lecture Notes in Computer Science, pages 109-118, Springer, 2000. [doi]
Abstract is missing.