Answer Set Programming - Lifschitz (Springer International Publishing, 2019)