David A. Plaisted Yunshan Zhu Ordered Semantic Hyper-Linking. 167-217 2000 25 J. Autom. Reasoning 3 db/journals/jar/jar25.html#PlaistedZ00