@Bibtex-file{Ai/JAUTOREAS.bib,
  title =        "Bibliography of {"}Journal of Automated Reasoning{"}",
  author =       "CMU E\&{}S library",
  supported =    "gone",
}