<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6107</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Cammilleri,J.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications</TITLE><PLACE_PUBLISHED>Proceedings of the 7th International Workshop on Higher Order Logice Theorem Proving and its Applications </PLACE_PUBLISHED><PUBLISHER>University of Malta</PUBLISHER><LABEL>Melham:1994:6107</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>