Neumann, Adrian Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Neumann, A. (2011). Implementation of Schmidt's algorithm for certifying triconnectivity testing. Master Thesis, Universität des Saarlandes, Saarbrücken.