Kaizhong Zhang: A Constrained Edit Distance Between Unordered Labeled Trees. Algorithmica 15(3): 205-222 (1996)