Logic Programming and Nonmonotonic Reasoning - Cabalar, Pedro; Son, Tran Cao; Son, Tran Cao (Springer Berlin Heidelberg, 2013)