https://123dok.net/document/yev1472r-generating-maximal-models-using-the-stable-model-semantics.html