<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5644</REFNUM><AUTHORS><AUTHOR>Whittle,J.</AUTHOR><AUTHOR>Bundy,A.</AUTHOR><AUTHOR>Boulton,R.J.</AUTHOR><AUTHOR>Lowe,H.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>System Description: CYNTHIA</TITLE><PLACE_PUBLISHED>Proceedings of the Sixteenth International Conference on Automated Deduction, CADE-16 (Trento, Italy); Ganzinger, H. (editor), Lecture Notes in Artificial Intelligence </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>388-392</PAGES><LABEL>Whittle:1999:5644</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>