Title: Logical tools for temporal knowledge representation
First published: 1992
Subjects: Knowledge representation (Information theory), Computational linguistics, Temporal automata
LC classification: Q387 .B4813 1992