Gelfond, M <br/><br/>
Knowledge representation, reasoning and the design of intelligent agents: The answer-set programming approach 

 - Cambridge  Cambridge University Press  2014 
 - xiv, 348p. 
<br/><br/><label>ISBN: </label>978-1-107-02956-9