["Te",["Term Rewriting","Termination Competition","Termination Competition 2008","Termination Competition 2010","Termination Competition 2011","Termination Competition 2012","Termination Competition 2012 Comments","Termination Competition 2013","Termination Competition 2014","Termination Competition 2014 Participants"],["","","","","","","","","",""],["http://termination-portal.org/wiki/Term_Rewriting","http://termination-portal.org/wiki/Termination_Competition","http://termination-portal.org/wiki/Termination_Competition_2008","http://termination-portal.org/wiki/Termination_Competition_2010","http://termination-portal.org/wiki/Termination_Competition_2011","http://termination-portal.org/wiki/Termination_Competition_2012","http://termination-portal.org/wiki/Termination_Competition_2012_Comments","http://termination-portal.org/wiki/Termination_Competition_2013","http://termination-portal.org/wiki/Termination_Competition_2014","http://termination-portal.org/wiki/Termination_Competition_2014_Participants"]]