<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6045</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>The HOL Logic Extended with Quantification over Type Variables</TITLE><PLACE_PUBLISHED>Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2, International Workshop, Leuven, September 1992. Series IFIP Transactions A-20 </PLACE_PUBLISHED><PUBLISHER>North-Holland</PUBLISHER><PAGES>3-17</PAGES><LABEL>Melham:1993:6045</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>