Inferences for temporal object descriptions in a terminological representation system design and implementation - Neuwirth, Andreas (Institut für Angewandte Informatik <Berlin>, 1993)