Government Debt Management and Inflation with Real and Nominal Bonds