<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6035</REFNUM><AUTHORS><AUTHOR>Melham,T.F.'.</AUTHOR><AUTHOR>Camilleri. J.,T.F.'.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>Higher Order Logic Theorem Proving and Its Applications</TITLE><PLACE_PUBLISHED>7th Internation Workshop, September 1994 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><ISBN>3-64-058450-1</ISBN><LABEL>Melham:1994:6035</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>