<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5804</REFNUM><AUTHORS><AUTHOR>Thomas,M.</AUTHOR><AUTHOR> Watson,P.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>Solving Divergence inKnuth-Bendix Completion by Enriching Signatures</TITLE><PLACE_PUBLISHED> Theoretical Computer Science,vol. 112 </PLACE_PUBLISHED><PUBLISHER>Elsevier Science</PUBLISHER><PAGES>145-185</PAGES><LABEL>Thomas:1993:5804</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>