Answer Set Programming - Vladimir Lifschitz (Springer, 2019)