Logical tools for temporal knowledge representation by Hélène Bestougeff | Menrva Books | MenrvaBooks