@techreport{RR-05-02,
  title = "Theorem Proving in Higher Order Logics: Emerging Trends Proceedings",
  author = "Joe Hurd and Edward Smith and Ashish Darbari",
  year = "2005",
  institution = "Oxford University Computing Laboratory",
  month = "July",
  number = "RR-05-02",
}