<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>6106</REFNUM><AUTHORS><AUTHOR>Aitken,S.</AUTHOR><AUTHOR>Gray,P.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Thomas,M.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>A Study of User Activity in Interactive Theorem Proving</TITLE><PLACE_PUBLISHED>Task Centred Approaches to Interface Design: Glasgow Interactive Systems Group Research Review </PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><PAGES>195-218</PAGES><LABEL>Aitken:1995:6106</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>