Knudsen, J. L. Name Collision in Multiple Classification Hierarchies. DPB 1988, 17.