Answer Set Programming - Lifschitz, Vladimir; Lifschitz, Vladimir (Springer International Publishing : Imprint: Springer, 2019)