An algorithm of finding planar surfaces in three-manifolds
scientific article