An algorithm to decide if a 3-manifold is a Haken manifold (1984)

by William Jaco, Ulrich Oertel
Venue:MR0744850 (85j:57014), Zbl 0545.57003