Title: INSPEC user preference in printed indexes