[Davis++fall+'09]