Logic Programming and Nonmonotonic Reasoning - Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (Springer International Publishing, 2015)