Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski <br/><br/>
Logic Programming and Nonmonotonic Reasoning 

 - 1st ed. 2015 
 -  Springer International Publishing  2015 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>978-3-319-23264-5