Y. Okamoto, Y. Otachi, R. Uehara, and T. Uno, “Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem”, JGAA, vol. 15, no. 6, pp. 727–751, Oct. 2011.