Chandrabose Aravindan. An Abductive Framework for Negation in Disjunctive Logic Programming. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 252-267, Springer, 1996.
Abstract is missing.