Computes Resolving Tree

Resolving Tree