A linear-time algorithm for computing K-terminal reliability on proper interval graphs | IEEE Journals & Magazine | IEEE Xplore