Sources

• Existing collections: ANL, Otter, SPRFN, SETHEO, Quaife

• Papers, many from Journal of Automated Reasoning

• CADE proceedings

• Association for Automated Reasoning Newsletter

• Others