E. Erdem, M. Gelfond, and N. Leone, “Applications of Answer Set Programming”, AIMag, vol. 37, no. 3, pp. 53-68, Oct. 2016.