@第{zbMATH06022773条，作者={Buss，Samuel R.}，标题=｛朝向{NP}（名词短语）-{P} 通过证明复杂性和搜索}，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={163}，数字={7}，页码={906--917}，年份={2012}，语言={英语}，DOI={10.1016/j.apal.2011.09.009}，关键词={03F20,03B05,03D15,68Q17,68T15}，zbMATH={6022773}，Zbl={1257.03086}}