Verifying the Equivalence of Logic Programs in the Disjunctive Case

Reference:

Emilia Oikarinen and Tomi Janhunen. Verifying the equivalence of logic programs in the disjunctive case. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 180–193, Fort Lauderdale, Florida, 2004. Springer-Verlag. LNAI 2923.

Suggested BibTeX entry:

@inproceedings{OJ04:lpnmr,
    address = {Fort Lauderdale, Florida},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Vladimir Lifschitz and Ilkka Niemel{\"a}},
    note = {LNAI 2923},
    pages = {180--193},
    publisher = {Springer-Verlag},
    title = {Verifying the Equivalence of Logic Programs in the Disjunctive Case},
    year = {2004},
}