• Competition_2010_Derivational_Complexity___Full_Rewriting
• Competition_2010_Derivational_Complexity___Innermost_Rewriting
• Competition_2010_Haskell
• Competition_2010_Higher_Order_Rewriting___Union_Beta
• Competition_2010_Java_Bytecode
• Competition_2010_Java_Bytecode_Recursive
• Competition_2010_Logic_Programming
• Competition_2010_Logic_Programming_with_Cut
• Competition_2010_Prolog
• Competition_2010_Runtime_Complexity___Full_Rewriting
• Competition_2010_Runtime_Complexity___Innermost_Rewriting
• Competition_2010_SRS_Relative
• Competition_2010_SRS_Relative_Certifying
• Competition_2010_SRS_Standard
• Competition_2010_SRS_Standard_Certifying
• Competition_2010_TRS_Contextsensitive
• Competition_2010_TRS_Equational
• Competition_2010_TRS_Innermost
• Competition_2010_TRS_Outermost
• Competition_2010_TRS_Relative
• Competition_2010_TRS_Relative_Certifying
• Competition_2010_TRS_Standard
• Competition_2010_TRS_Standard_Certifying