<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6099</REFNUM><AUTHORS><AUTHOR>Aitken,S.</AUTHOR><AUTHOR>Gray,P.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Thomas,M.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>Interactive Proof Discover: An Empirical Study of HOL Users</TITLE><PLACE_PUBLISHED>User Interface Design for Theorem Proving Systems: an International Workshop </PLACE_PUBLISHED><PUBLISHER>University of Glasgow</PUBLISHER><LABEL>Aitken:1995:6099</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>