Systematic Derivation of Tree Contraction Algorithms (2005)

by Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
Venue:In Proceedings of INFOCOM '90