Chaos and Moving Mars to a Better Climate (2007) [pdf]www-formal.stanford.edu3 pointsnequo3 years ago