Completion of Disjunctive Logic Programs.

Mario Alviano, Carmine Dodaro

Browse the full IJCAI paper archive.