The UNC category deals with the unique normal form property with respect to conversion of first-order term rewrite systems. It is a component category of the UN category.
A TRS has the the unique normal form property with respect to conversion (UNC) if any two convertible normal forms are identical. The problem is to determine whether the input TRS is UNC or not.
Problem SelectionSee the corresponding section of UN category.
The output format should follow the same rules as for the TRS category.
The scoring is the same as for the TRS category.