A fixpoint characterization of abductive logic programs (1996)

by K Inoue, C Sakama
Venue:J. of Logic Programming