Knudsen, J. L. “Name Collision in Multiple Classification Hierarchies”. DAIMI Report Series, vol. 17, no. 250, Sept. 1988, doi:10.7146/dpb.v17i250.7606.