<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5645</REFNUM><AUTHORS><AUTHOR>Whittle,J.</AUTHOR><AUTHOR>Bundy,A.</AUTHOR><AUTHOR>Boulton,R.J.</AUTHOR><AUTHOR>Lowe,H.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>An ML Editor Based on Proofs-as-Programs</TITLE><PLACE_PUBLISHED>Tools and Interfaces, Proceedings of the 14th IEEE International conference on Automated Software Engineering, ASE'99 (Cocoa Beach, Florida, USA) </PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>166-173</PAGES><LABEL>Whittle:1999:5645</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>