A version of the full paper can be downloaded below.