@misc{kas-12-aa-reduce,
  title = {An Algorithm to Reduce the Number of Dummy Variables in Affine Arithmetic},
  author = {Masahide Kashiwagi},
  url = {http://conf.nsc.ru/files/conferences/scan2012/139995/Kashiwagi-scan2012.pdf},
  howpublished = {Slides presented on 2012-09-28 at SCAN'2012, Nobosibirsk, Russia. Available online},
  year = 2012,
  month = sep,
  comment = {No abstract but seems to describe the algorithm.}
}