Glyph Miner: A System for Efficiently Extracting Glyphs from Early Prints in the Context of OCR. - Benedikt Budig; Thomas C. van Dijk; Felix Kirchner (JCDL, 2016)