<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6113</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1988</YEAR><TITLE>Automating Recursive Type Definitions in Higher Order Logic</TITLE><PLACE_PUBLISHED>Current Trends in Hardware Verficiation and Automated Theorem Proving </PLACE_PUBLISHED><PUBLISHER>University of Cambridge</PUBLISHER><PAGES>341-386</PAGES><ISBN>146</ISBN><LABEL>Melham:1988:6113</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>