@techreport{KR05a,
  number="TR2005-1985",
  month="March",
  title="Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management",
  author="Dexter Kozen and Ganesh Ramanarayanan",
  year="2005",
  institution="Computer Science Department, Cornell University"
}