Computing closed essential surfaces in knot complements. - Benjamin A. Burton; Alexander Coward; Stephan Tillmann (SoCG, 2013)