Specification and Verification of Concurrent Programs Through Refinements Sandip RayRob Sumners OriginalPaper 30 August 2012 Pages: 241 - 280
Non-Linear Rewrite Closure and Weak Normalization Carles CreusGuillem GodoyAshish Tiwari OriginalPaper 16 September 2012 Pages: 281 - 324
SMELS: Satisfiability Modulo Equality with Lazy Superposition Christopher LynchQuang-Trung TaDuc-Khanh Tran OriginalPaper 18 October 2012 Pages: 325 - 356