@第{zbMATH06058051条，作者={马西尼、安德里亚和维甘{\`o}、卢卡和沃尔佩、马尔科}，标题={从未来回来}，FJournal={应用非经典逻辑杂志}，日志={J.Appl.Non-Class.Log.}，ISSN={1166-3081}，体积={20}，数字={3}，页码={241--277}，年份={2010}，语言={英语}，DOI={10.3166/jancl.20.241-277}，关键词={03B44}，zbMATH={6058051}，Zbl={1242.03046}}