Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations Xavier LeroySandrine Blazy OriginalPaper 14 March 2008 Pages: 1 - 31
Proof Synthesis and Reflection for Linear Arithmetic Amine ChaiebTobias Nipkow OriginalPaper 04 June 2008 Pages: 33 - 59
Data Complexity of Query Answering in Expressive Description Logics via Tableaux Magdalena OrtizDiego CalvaneseThomas Eiter OriginalPaper 26 June 2008 Pages: 61 - 98