John Harrison: Useful Web bibliographies

This is a collection of online bibliographies in fields approximating to my research interests. They are listed in decreasing order of specificity.

HOL
Isabelle
Mizar
Automated Deduction
Hardware Verification and Formal Methods
Logical Frameworks
Computer Algebra
Logic Programming
Prolog
LISP
Big bibliography of JACM and others
Computer Science bibliography collection
Mathematics bibliography collection
List of computer science bibliographies
Bibliographies collection