<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6499</REFNUM><AUTHORS><AUTHOR>Vestergaard,R.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>The Cut Rule and Explicit Substitutions (Author's Cut)</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><ISBN>TR-1998-9</ISBN><LABEL>Vestergaard:1998:6499</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>