An Algorithm to Decide If a 3-Manifold is a Haken Manifold.” Topology 23:2 (1984)

by William Jaco, Ulrich Oertel