Resolution Based Theorem Proving in Temporal Logic

This page contains
  • some information concerning my research on the clausal resolution in temporal logic , clausal resolution for the temporal mu-calculus and also
  • some useful links to the different related Web sites, including databases, bibliographies, personal pages, etc.