Media type: E-Article Title: Pool resolution is NP-hard to recognize Contributor: Buss, Samuel R. imprint: Springer Science and Business Media LLC, 2009 Published in: Archive for Mathematical Logic Language: English DOI: 10.1007/s00153-009-0152-4 ISSN: 0933-5846; 1432-0665 Keywords: Logic ; Philosophy Origination: Footnote: