<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>6036</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>Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 1994: Proceedings. Vol. 859 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><ISBN>3-64-058450-1</ISBN><LABEL>Melham:1994:6036</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>