Most papers have been indexed by Ei Compendex already, and the remaining ones will be indexed very soon.