Wang, P. (2012). Certification of Curve Arrangements. Master Thesis, Universität des Saarlandes, Saarbrücken.