Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.

Mario AlvianoWolfgang FaberNicola Leone
Published in: RCRA@CPAIOR (2010)