THAYSE(Andre) Ed <br/><br/>
From standard logic to logic programming: Introducing a logic based approach to artificial intelligence 

 - New York  John Wiley & Sons  1988 
 - xvi p. + 343