@Misc{Aehlig00,
  author =       {Aehlig, Klaus},
  title =        {An arithmetic for non-size-increasing polynomial-time
                  computation},
  howpublished = {Presented at ICC 2000},
  year = 2000
}