A graph-based approach towards discerning inherent structures in a digital library of formal mathematics (2004)

by Lori Lorigo, Jon Kleinberg, Rich Eaton, Robert Constable
Venue:In Lecture Notes in Computer Science