In Brief: FixRep: Examining Techniques and Implementations for Automated Formal Metadata Extraction Posted on July 16, 2010 by D-Lib Magazine