An O(n+ m) certifying triconnnectivity algorithm for Hamiltonian graphs Elmasry, Amr Mehlhorn, Kurt Schmidt, Jens M. 2010 - TUHH Open Research