6 Years of SMT-COMP Clark BarrettMorgan DetersAaron Stump OriginalPaper 01 April 2012 Pages: 243 - 277
Uncurrying for Termination and Complexity Nao HirokawaAart MiddeldorpHarald Zankl OriginalPaper Open access 25 April 2012 Pages: 279 - 315
Multi-Completion with Termination Tools Sarah WinklerHaruhiko SatoMasahito Kurihara OriginalPaper Open access 14 April 2012 Pages: 317 - 354