Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro. OI-implication: Soundness and Refutation Completeness. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 847-852, Morgan Kaufmann, 2001.
Abstract is missing.