Polynomial Resolution Theory door William A. Hardy