LIDOS
http://www.dfki.uni-sb.de/imedia/lidos/Literature Information and Documentation System. A large BibTeX database covering 25 years of Artificial Intelligence research with more than 40,000 entries.
Submitted in section: Artificial Intelligence: Publications: LIDOS