Properties of the generalized Robinson-Foulds metric | IEEE Conference Publication | IEEE Xplore