Partitionability to two trees is NP-complete · wovepaper