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