<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>9379</REFNUM><AUTHORS><AUTHOR>Miller,A.</AUTHOR><AUTHOR>Kirwan,R.</AUTHOR></AUTHORS><YEAR>2011</YEAR><TITLE>Proceedings of the 18th Workshop on Automated Reasoning</TITLE><PLACE_PUBLISHED>DCS Technical Report Series</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><PAGES>39</PAGES><ISBN>TR-2011-327</ISBN><LABEL>Miller:2011:9379</LABEL><KEYWORDS><KEYWORD>Automated reasoning</KEYWORD></KEYWORDS<ABSTRACT>This volume contains the proceedings of the 18th workshop on Automated Reasoning. Submissions consist of 2 page abstracts.</ABSTRACT></RECORD></RECORDS></XML>