Katsumi Inoue, Chiaki Sakama. Transforming Abductive Logic Programs to Disjunctive Programs. In ICLP. pages 335-353, 1993.
@inproceedings{InoueS93, title = {Transforming Abductive Logic Programs to Disjunctive Programs}, author = {Katsumi Inoue and Chiaki Sakama}, year = {1993}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/InoueS93}, cites = {0}, citedby = {0}, pages = {335-353}, booktitle = {ICLP}, }