@techreport{Camilleri:1992:RID,
  title = "Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover",
  author = "Juanito Camilleri and Tom Melham",
  year = "1992",
  institution = "Computer Laboratory, University of Cambridge",
  month = "August",
  number = "265",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Camilleri-1992-RID.pdf",
}