An algorithm to find vertical tori in small Seifert fiber spaces
  We give an algorithm to find vertical essential tori in small Seifert fiber spaces with infinite fundamental groups. This implies that there are algorithms to decide whether a 3-manifold is a Seifert fiber space. 
Tao Li