<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5590</REFNUM><AUTHORS><AUTHOR>Slind,K.</AUTHOR><AUTHOR>Gordon,M.</AUTHOR><AUTHOR>Boulton,R.J.</AUTHOR><AUTHOR>Bundy,A.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>System Description: An Interface between CLAM and HOL</TITLE><PLACE_PUBLISHED>Lecture Notes in Artificial Intelligence, volume 1421 Proceedings of the Fifteenth International Conference on Automated Deduction, CADE-15 (Lindau, Germany), Kirchner, C., Kirchner, H., eds. </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>134-138</PAGES><LABEL>Slind:1998:5590</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>