Document Spanners: A Formal Approach to Information Extraction. - FAGIN, RONALD; KIMELFELD, BENNY; REISS, FREDERICK; VANSUMMEREN, STIJN (Journal of the ACM, 2015)