• Competition_2012_Derivational_Complexity___Full_Rewriting
• Competition_2012_Derivational_Complexity___Innermost_Rewriting
• Competition_2012_Haskell
• Competition_2012_Higher_Order_Rewriting___Union_Beta
• Competition_2012_Java_Bytecode
• Competition_2012_Java_Bytecode_Recursive
• Competition_2012_Logic_Programming
• Competition_2012_Logic_Programming_with_Cut
• Competition_2012_Prolog
• Competition_2012_Runtime_Complexity___Full_Rewriting
• Competition_2012_Runtime_Complexity___Innermost_Rewriting
• Competition_2012_SRS_Relative
• Competition_2012_SRS_Standard
• Competition_2012_TRS_Conditional
• Competition_2012_TRS_Contextsensitive
• Competition_2012_TRS_Equational
• Competition_2012_TRS_Innermost
• Competition_2012_TRS_Outermost
• Competition_2012_TRS_Relative
• Competition_2012_TRS_Standard