Schmidt, Jens M. Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schmidt, J. M. (2012). Certifying 3-Connectivity in Linear Time. In A. Czumaj, K. Mehlhorn, A. Pitts, & R. Wattenhofer (Eds.), Automata, Languages, and Programming (pp. 786-797). Berlin: Springer.