@第{zbMATH07776319条，作者={Boudou，Joseph和Di{'e}guez，Mart{'{i}n和Fern{'a}ndez-Duque，David和Kremer，Philip}，Title={探索直觉时间逻辑的丛林}，FJournal={逻辑编程的理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={21}，数字＝｛4｝，页码＝{459-492}，年份={2021}，语言={英语}，DOI={10.1017/S1471068421000089}，关键词={03B44}，zbMATH={7776319}}