@未收款{zbMATH07200658,作者{Luca{Geatti}和Nicola{Gigante}和Angelo{Montanari}},Title={LTL}}的一个基于SAT的单遍树形tableau系统编码,书名{自动推理与分析表格及相关方法。第28届国际会议,2019年9月3日至5日,英国伦敦,2019年,ISBN={978-3-030-29025-2/pbk;978-3-030-29026-9/电子书},页数={3--20},年份:{2019},Publisher={Cham:Springer},语言{英语},MSC2010={68V15 03B44 68Q60 68R07},Zbl={1435.68368}}