1. Combination Methods in Automated Reasoning: A Bibliography, compiled by C. Tinelli, 2002 (extends the one below). [gzipped BibTeX file]

  2. A Bibliography on Hybrid Reasoning, compiled by A. Frish and R. Scherl, 1990 (no longer maintained). [gzipped BibTeX file]

Both bibliographies above are also available for search at the excellent Collection of Computer Science Bibliographies site.

Corrections and contributions to the first bibliography are welcome and strongly encouraged.


Search the first bibliography