@proceedings{Melham:1994:SPI,
  title = "Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications",
  year = "1994",
  booktitle = "Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications",
  editor = "Tom Melham and Juanito Camilleri",
  month = "September",
  publisher = "University of Malta",
}