罗斯·波勒;安德烈·普拉泽 建设性混合游戏。 （英文） 兹伯利07614528 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Bohrer}和\textit{A.Platzer}，莱克特。注释计算。科学。12166、454--473（2020；Zbl 07614528） 全文： 内政部 arXiv公司
詹姆斯·利普顿;迈克尔·奥唐纳。 构造逻辑的可实现性语义背后的一些直觉：Tableaux和Läuchli反模型。 （英文） Zbl 0882.03056号 Ann.纯粹应用。逻辑 81，编号1-3187-239（1996）. 审核人：W.Veldman（奈梅亨） MSC公司：03楼50 PDF格式BibTeX公司 XML格式引用 \textit{J.Lipton}和\textit{M.J.O'Donnell}，Ann.Pure Appl。逻辑81，No.1--3，187--239（1996；Zbl 0882.03056） 全文： 内政部