Well-Foundedmodelnormal(logic)programs:negationinrulebodyallowed.win(x) published presentations and documents on DocSlides.