1. The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4

   • Michael J. C. Gordon
   • Matt Kaufmann
   • Sandip Ray

   OriginalPaper 13 March 2010 Pages: 1 - 16

2. Computationally Effective Reasoning About Goal Interactions

   • John Thangarajah
   • Lin Padgham

   OriginalPaper 08 May 2010 Pages: 17 - 56

3. The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling

   • Louise Abigail Dennis
   • Ian Green
   • Alan Smaill

   OriginalPaper 13 May 2010 Pages: 57 - 105