@techreport{KT07b,
  number="{\url{http://hdl.handle.net/1813/8352}}",
  month="October",
  title="Indefinite Summation and the {K}ronecker Delta",
  author="Dexter Kozen and Marc Timme",
  year="2007",
  institution="Computing and Information Science, Cornell University"
}