<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>5477</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Some Research Issues in Higher Order Logic Theorem Proving</TITLE><PLACE_PUBLISHED>volume NS-96-7 </PLACE_PUBLISHED><PUBLISHER>Dept of Computer Science, University of Aarhus</PUBLISHER><LABEL>Melham:1996:5477</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>