Text this: Use of computers for mechanized literature searching in operations-research libraries.