[S5] ================================================ AMAST Links 02 08

		      HOL Bibliography Available

  I have recently put together a fairly large bibliography of papers
on the theory and applications of Higher Order Logic theorem proving
using the HOL system.  You can access the bibliography on the World
Wide Web, and it includes many hyperlinks to abstracts or actual
papers. There is also a separate list of dissertations based around
HOL.
  My intention in compiling this bibliography was to provide a useful
resource for people doing theorem-prover research and applications
based on HOL or other similar systems.  For example, the list should
provide beginning researchers (e.g. Ph.d. or M.Sc. students) with a
summary of useful starting points for HOL-based research.
  To gain access to the _bibliography_, point your Web browser at URL:
http://www.dcs.gla.ac.uk/~tfm/hol-bib.html
And, for _dissertations_, only at URL:
http://www.dcs.gla.ac.uk/~tfm/hol-theses.html
  You can also gain access through my little _HOL page_ at URL:
http://www.dcs.gla.ac.uk/~tfm/fmt/hol.html
  Please feel free to send additions or corrections by email. If
there is enough demand, I'll investigate the options for making the
bibliography searchable.
  Tom Melham