• Competition_2008_Derivational_Complexity___Full_Rewriting
  • Competition_2008_Derivational_Complexity___Innermost_Rewriting
  • Competition_2008_Haskell
  • Competition_2008_Logic_Programming
  • Competition_2008_Runtime_Complexity___Full_Rewriting
  • Competition_2008_Runtime_Complexity___Innermost_Rewriting
  • Competition_2008_SRS_Relative
  • Competition_2008_SRS_Standard
  • Competition_2008_SRS_Standard_Certifying
  • Competition_2008_TRS_Contextsensitive
  • Competition_2008_TRS_Equational
  • Competition_2008_TRS_Innermost
  • Competition_2008_TRS_Relative
  • Competition_2008_TRS_Standard
  • Competition_2008_TRS_Standard_Certifying
  • Competition_2008_(outermost)_TRS_Outermost
  • Competition_2008_(outermost_rerun)_TRS_Outermost