Author:
Publication: Artificial Intelligence
A reconstruction of multipreference closure
Pruning external minimality checking for answer set programs using semantic dependencies