@techreport{Melham:1996:SRI,
  author = "Tom F. Melham",
  institution = "Department of Computer Science, University of Aarhus",
  issn = "0909-3206",
  month = "October",
  number = "NS-96-7",
  title = "Some Research Issues in Higher Order Logic Theorem Proving",
  year = "1996",
}