We present general recursive methods to handle environments where privately
observed variables are linked over time. We show that incentive compatible
contracts are implemented recursively with a threat keeping constraint in
addition to the usual temporary incentive compatibility and promise keeping
conditions. Journal of Economic Literature Classification Numbers: D30, D3
1, D80, D82. (C) 2000 Academic Press.