Finding compact scheme forests in nested normal form is NP-hard
scientific article; zbMATH DE number 563070
scientific article