<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6108</REFNUM><AUTHORS><AUTHOR>Camilleri,J.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1992</YEAR><TITLE>Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover}</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>University of Cambridge</PUBLISHER><ISBN>265</ISBN><LABEL>Camilleri:1992:6108</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>