Four metrics for efficiently comparing attributed trees | IEEE Conference Publication | IEEE Xplore