<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5154</REFNUM><AUTHORS><AUTHOR>Aitken,J.S.</AUTHOR><AUTHOR>Gray,P.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Thomas,M.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Interactive Theorem Proving: An Empirical Study of User Activity</TITLE><PLACE_PUBLISHED>Journal of Symbolic Computation. Volume No. 25 </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>263-284</PAGES><ISBN>0747-7171</ISBN><LABEL>Aitken:1998:5154</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>