SLDNFA: An Abductive Procedure for Normal Abductive Programs.

Marc Denecker, Danny De Schreye

Browse the full ICLP paper archive.