From natural language processing to logic for expert systems a logic based approach to artificial intelligence - Thayse, Andrae 1940-; Binot, Jean-Louis (Wiley, 1991)