<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6087</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1992</YEAR><TITLE>A Package for Inductive Relation Definitions in {HOL}}</TITLE><PLACE_PUBLISHED>Proceedings of the 1991 International Workshopon the {HOL} Therom Proving System and its Applictions, Auguust 1991 </PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>350-357</PAGES><LABEL>Melham:1992:6087</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>