OI-implication: Soundness and Refutation Completeness.

Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro

Browse the full IJCAI paper archive.