SLDNFA: An abductive procedure for abductive logic programs

The Journal of Logic Programming - Tập 34 - Trang 111-167 - 1998
Marc Denecker1, Danny de Schreye1
1Department of Computer Science, K.U. Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium