Inferences for temporal object descriptions in a terminological representation system design and implementation - Neuwirth, Andreas (1993)