Cervesato, Iliano. <br/><br/>
Logic for Programming, Artificial Intelligence, and Reasoning 

<br/><br/><label>ISBN: </label>9783540894391