Lifschitz, V. “Answer Sets and the Language of Answer Set Programming”. AI Magazine, vol. 37, no. 3, Oct. 2016, pp. 7-12, doi:10.1609/aimag.v37i3.2670.