@收款{zbMATH01424035，作者＝｛Diekert，Volker和Gastin，Paul｝，Title={Mazurkiewicz}traces}的一个没有过去式操作符的表示完整时态逻辑，BookTitle={计算机科学逻辑。第13届国际研讨会，CSL’99。1999年9月20日至25日，西班牙马德里，第八届EACSL年会。诉讼}，国际标准图书编号={3-540-66536-6}，页码={188--203}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={03B44,68Q85,68Q60}，zbMATH={1424035}，Zbl={0942.03028}}