Planar Spiral Slit Tree
摘要
The previous chapter showed that if the slitslitgraph graph Λ of a vm-reductionvertex-merge reduction is a tree, then we can unfold P to the plane, and possibly to a non-overlapping net.