“Earning the Right to Be Retributive: Execution Methods, Culpability Theory, and the Cruel and Unusual Punishment Clause” Julian Davis Mortenson HEIN Criminal Law Iowa Law Review 2003