Author:
Publication: Artificial Intelligence
Pruning external minimality checking for answer set programs using semantic dependencies
On fair price discrimination in multi-unit markets