Implicit explicit negation logic program by Jonker