On the Equivalence between Disjunctive and Abductive Logic Programs

Chiaki Sakama, Katsumi Inoue. On the Equivalence between Disjunctive and Abductive Logic Programs. In ICLP. pages 489-503, 1994.

Abstract

Abstract is missing.