<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5591</REFNUM><AUTHORS><AUTHOR>Slind,K.</AUTHOR><AUTHOR>Boulton,R.J.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>Iterative Dialogues and Automated Proof</TITLE><PLACE_PUBLISHED>Studies in Logic and Computation In Frontiers of Combining Systems 2 (Proceedings of the Second International Workshop, FroCoS'98, Amsterdam, The Netherlands) </PLACE_PUBLISHED><PUBLISHER>Research Studies Press</PUBLISHER><PAGES>317-335</PAGES><ISBN>ISBN 0863802524</ISBN><LABEL>Slind:2000:5591</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>