Hal Berghel: A logical framework for the correction of spelling errors in electronic documents. Inf. Process. Manag. 23(5): 477-494 (1987)