V. Lifschitz, “Answer Sets and the Language of Answer Set Programming”, AIMag, vol. 37, no. 3, pp. 7-12, Oct. 2016.