Bibliographies
-
Combination Methods in Automated Reasoning: A Bibliography,
compiled by C. Tinelli,
2002 (extends the one below).
[gzipped BibTeX file]
-
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