@string{CUCL="Computer Laboratory, University of Cambridge"}@TechReport{camilleri92, author = {J. Camilleri and T. F. Melham}, title = {Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover}, institution = CUCL, year = 1992, number = 265, month = Aug}