Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees | IEEE Conference Publication | IEEE Xplore