<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9143</REFNUM><AUTHORS><AUTHOR>Power,C.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2009</YEAR><TITLE>Symmetry Reduction of Partially Symmetric Systems</TITLE><PLACE_PUBLISHED>Proceedings of the 16th Workshop on Automated Reasoning</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Power:2009:9143</LABEL><KEYWORDS><KEYWORD>Symmetry reduction</KEYWORD></KEYWORDS<ABSTRACT>Previous research into symmetry reduction techniques have shown them to be successful in combatting the state-space explosion problem. We provide a brief overview of a fully automated technique for the application of symmetry reduction to partially symmetric systems.</ABSTRACT></RECORD></RECORDS></XML>