<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5808</REFNUM><AUTHORS><AUTHOR>Thomas, M.</AUTHOR><AUTHOR> Watson,P</AUTHOR></AUTHORS><YEAR>1991</YEAR><TITLE>Generalising Sequences of Rewrite Rules by Synthesising New Sorts</TITLE><PLACE_PUBLISHED> Extended Abstract, Functional Programming, Glasgow 1990, Workshops in Computing, S. Peyton-Jones, G. Hutton, C. Kehler Holst (eds.) </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>268-273</PAGES><LABEL>Thomas:1991:5808</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>