Logic Programming and Nonmonotonic ReasoningPedro Cabalar, Tran Cao Son · First published 2013Open the Tome