FINDING TYPE SETS IS NP-HARD
scientific article