<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5189</REFNUM><AUTHORS><AUTHOR>Boulton,R.J.</AUTHOR><AUTHOR>Slind,K.</AUTHOR><AUTHOR>Bundy,A.</AUTHOR><AUTHOR>Gordon,M.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>An Interface between CLAM and HOL</TITLE><PLACE_PUBLISHED>Proceedings of 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'98, Canberra, Australia. Published as LNCS, (Grundy, J., Newey, M, Eds.). Leture Notes in Computer Science, Volume No. 1479 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>87-104</PAGES><ISBN>3-540-64987-5</ISBN><LABEL>Boulton:1998:5189</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>