"The NASA Astrophysics Data System: The search engine and its user interface".