• Competition_2009_Derivational_Complexity___Full_Rewriting
• Competition_2009_Derivational_Complexity___Innermost_Rewriting
• Competition_2009_Haskell
• Competition_2009_Java_Bytecode
• Competition_2009_Java_Bytecode_Recursive
• Competition_2009_Logic_Programming
• Competition_2009_Logic_Programming_with_Cut
• Competition_2009_LP_EMPTY
• Competition_2009_Prolog
• Competition_2009_Runtime_Complexity___Full_Rewriting
• Competition_2009_Runtime_Complexity___Innermost_Rewriting
• Competition_2009_SRS_Relative
• Competition_2009_SRS_Standard
• Competition_2009_SRS_Standard_Certifying
• Competition_2009_TRS_Conditional
• Competition_2009_TRS_Contextsensitive
• Competition_2009_TRS_Equational
• Competition_2009_TRS_Innermost
• Competition_2009_TRS_Outermost
• Competition_2009_TRS_Relative
• Competition_2009_TRS_Standard
• Competition_2009_TRS_Standard_Certifying