@第{zbMATH06483216条，作者={Gaintzarain，Jose和Lucio，Paqui}，Title={更具表现力的声明式时序逻辑编程语言的逻辑基础}，FJournal={ACM计算逻辑事务}，Journal＝｛ACM事务计算日志｝，ISSN={1529-3785}，体积＝{14}，数字={4}，页码={41}，注={Id/No 28}，年份={2013}，语言={英语}，DOI={10.1145/2528931}，关键词={68N17,03B44}，zbMATH={6483216}，Zbl={1353.68035}}