On the Minimality of Stable Models - Ferraris, Paolo; Lifschitz, Vladimir (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)