Marc Denecker: Unifying abductive logic programming and stable logic programming. NMR 2002: 183