Eliminating Duplication with the Hyper-Linking Strategy.

Shie-Jue Lee David A. Plaisted Eliminating Duplication with the Hyper-Linking Strategy. 25-42 1992 9 J. Autom. Reasoning 1 db/journals/jar/jar9.html#LeeP92