Selected papers that cite this one P. Thanisch, G. Loizou, and J. Nummenmaa. Finding compact scheme forests in nested normal form is NP-hard. Information and Computation, 110(1):19-41, April 1994.