Look-Back Techniques for ASP Programs With Aggregates

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-408