From modal logic to deductive databases : introducing a logic based approach to artificial intelligence - Thayse, André, 1940-; Gochet, Paul (Wiley, 1989)