<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5809</REFNUM><AUTHORS><AUTHOR>Thomas, M.</AUTHOR><AUTHOR> Jantke,K.</AUTHOR></AUTHORS><YEAR>1989</YEAR><TITLE>Inductive Inference for Solving Divergence in Knuth-Bendix Completion</TITLE><PLACE_PUBLISHED> Proceedings of Analogical and Inductive Inference '89, Lecture Notes in Computer Science, Volume 397 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>288-303</PAGES><LABEL>Thomas:1989:5809</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>