user interfaces for search by marti a . hearst .
Techniques for automatically cor-recting words in text