Title: Automated alternatives to card catalogs for large libraries