1. Maintaining knowledge about temporal intervals
2. American National Standards Institute X3H4 Committee ( 1993 ) Model unification for data repositories . Technical Report No. X3H4/92-003 , American National Standards Institute , New York .
3. Untersuchungen �ber das logische Schlie�en. I
4. Goldblatt , R. ( 1987 ) Logics of time and computation . CSLI Lecture Notes No. 7 , Stanford , CA .