An algorithm to detect laminar 3–manifolds - Agol, Ian; Li, Tao (Geometry & topology, 2003)