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