From modal logic to deductive databases :  introducing a logic based approach to artificial intelligence / 
editor, Andre Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte. 
 - [Chichester] ;  New York :  Wiley,  c1989. 
 - xxiv, 380 p. :  ill. ;  25 cm. 
<br/><br/>Bibliography: p. 351-369. - Includes index. 
<br/><br/><label>ISBN: </label>0471923451 
<br/><br/><label>LCCN: </label>89009035 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence--Data processing.<br/>Logic programming.
<br/><br/><label>Dewey Class. No.: </label>006.3