ProQuest's ExLibris offers a variety of citation index/discovery services to libraries. Alma is its library management system.