<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5476</REFNUM><AUTHORS><AUTHOR>Melham,T.F</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Special Issue on Theorem Provers and Functional Programming</TITLE><PLACE_PUBLISHED>Journal of Functional Programming, volume 9 </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>-</PAGES><ISBN>0956-7968</ISBN><LABEL>Melham:1999:5476</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>