From modal logic to deductive databases : introducing a logic based approach to artificial intelligence - Thayse, André, 1940-; Gochet, Paul. (Chichester ; New York : Wiley, 1989)
Includes index.
Bibliografija str. 351-369.
Keywords: Artificial intelligence -- Data processing; Logic programming