DOCUMENT RETRIEVAL AND USER PRODUCTIVITY.