Chiaki Sakama, Katsumi Inoue. On the Equivalence between Disjunctive and Abductive Logic Programs. In ICLP. pages 489-503, 1994.
@inproceedings{SakamaI94, title = {On the Equivalence between Disjunctive and Abductive Logic Programs}, author = {Chiaki Sakama and Katsumi Inoue}, year = {1994}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/SakamaI94}, cites = {0}, citedby = {0}, pages = {489-503}, booktitle = {ICLP}, }