@第{zbMATH0176118条，作者={Artale、Alessandro和Franconi、Enrico}，Title={描述逻辑的时间扩展综述}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积＝{30}，数字={1-4}，页码={171--210}，年份={2000}，语言={英语}，DOI={10.1023/A:1016636131405}，关键词={03B44,68T27,03B60,68-02,03-02}，zbMATH＝{1761188}，Zbl={0998.03013}}