托马斯·艾特；乔治·戈特洛布 基于逻辑的诱拐的复杂性。 （英语） Zbl 0886.68121号 J.协会计算。机器。 42，第1期，第3-42页（1995年）. 引用于63文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 关键词：绑架 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob}，J.协会计算。机器。42，第1号，第3-42号（1995；Zbl 0886.68121） 全文： 内政部