Chiaki Sakama, Katsumi Inoue
On the Equivalence between Disjunctive and Abductive Logic Programs
ICLP, 1994.
@inproceedings{ICLP-1994-SakamaI,
author = "Chiaki Sakama and Katsumi Inoue",
booktitle = "{Proceedings of the 11th International Conference on Logic Programming}",
isbn = "0-262-72022-1",
pages = "489--503",
publisher = "{MIT Press}",
title = "{On the Equivalence between Disjunctive and Abductive Logic Programs}",
year = 1994,
}