http://dbpedia.org/resource/Normal_surface_theory
data from the linked data cloud