Normal Surface Theory in Link Diagrams - Chan-Ho Suh (2007)