Janhunen, T.; Nimelä, I. The Answer Set Programming Paradigm. AIMag 2016, 37, 13-24.