Bounded, separating, incompressible surfaces in knot manifolds. P.B. Shalen; M. Culler — 1984 Inventiones mathematicae
Simplicial approximation and low-rank trees. P.B. Shalen; H. Gillet; R.K. Skora — 1991 Commentarii mathematici Helvetici