Polynomial Resolution Theory by William A. Hardy