作者：Shichao Zhang
摘要
论文关键词：Keywords: Historical database; Interval algebra; Planning; Temporal logic; Temporal model
论文评审过程：
论文官网地址：https://doi.org/10.1007/s101150050005
