@第{zbMATH03937153条，作者={Wolper，Pierre}，Title={时序逻辑的tableau方法：概述}，FJournal={Logique et Analyse.Nouvelle S{\ee}rie}，日志={Log.Anal.，Nouv.S{\ee}r.}，ISSN={0024-5836}，体积＝{28}，页码={119--136}，年份={1985}，语言={英语}，关键词={03B25,03B45,68Q65}，zbMATH={3937153}，Zbl={0585.03008}}