Tool-Assisted Specification and Verification of Typed Low-Level Languages Gilles BarthePierre CourtieuSimão Melo de Sousa OriginalPaper 22 June 2006 Pages: 295 - 354
Toward Automating the Discovery of Decreasing Measures Robert S. BoyerWilfred J. LegatoVictor W. Marek OriginalPaper 17 December 2005 Pages: 355 - 371
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005) Clark BarrettLeonardo de MouraAaron Stump OriginalPaper 11 August 2006 Pages: 373 - 390
Some Techniques for Proving Termination of the Hyperresolution Calculus N. Peltier OriginalPaper 16 August 2006 Pages: 391 - 427
“Rippling: Meta-Level Guidance for Mathematical Reasoning,” by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005 Nimish Shah Book Review 18 August 2006 Pages: 429 - 431