Alferes, José Júlio <br/><br/>
Reasoning With Logic Programming 
/José Júlio Alferes, Luís Moniz Pereira 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>9783540614883 
<br/><br/><label>Dewey Class. No.: </label>006.3  / ALF