@收款{zbMATH01341479，作者={May，Wolfgang}，Title={带时态连接词的时态逻辑的表演算}，BookTitle={使用分析表和相关方法进行自动推理。国际会议，tableaux`99，美国纽约州萨拉托加斯普林斯，1999年6月7日至11日。诉讼}，国际标准图书编号={3-540-66086-0}，页码={232--246}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={03B44.68Q10,03B35}，zbMATH={1341479}，Zbl={0931.03034}}