CLIN-E - Smallest Instance First Hyper-Linking.

Geoffrey D. Alexander CLIN-E - Smallest Instance First Hyper-Linking. 177-182 1997 18 J. Autom. Reasoning 2 db/journals/jar/jar18.html#Alexander97