<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6105</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Some Research Issues in Higher Order Logic Theorem Proving</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><ISBN>NS-96-7</ISBN><LABEL>Melham:1996:6105</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>