Please see my <a href= http://discus.anu.edu.au/~jeremy/ >home page</a> at the 
<a href= http://cslab.anu.edu.au/ar/index.html >
      Automated Reasoning Group</a>