Transforming Abductive Logic Programs to Disjunctive Programs

Katsumi Inoue, Chiaki Sakama. Transforming Abductive Logic Programs to Disjunctive Programs. In ICLP. pages 335-353, 1993.

Abstract

Abstract is missing.