参考文献

1

Katsumi Inoue and Chiaki Sakama, A fixpoint characterization of abductive logic programs, Journal of Logic Programming, to appear, 1996.