1. In Memory of Mark Stickel

   • Peter Baumgartner
   • Wolfgang Bibel
   • Richard Waldinger

   OriginalPaper 11 September 2015 Pages: 95 - 98

   

2. Mark Stickel: His Earliest Work

   • Donald W. Loveland

   OriginalPaper 04 September 2015 Pages: 99 - 112

3. Semantically-Guided Goal-Sensitive Reasoning: Model Representation

   • Maria Paola Bonacina
   • David A. Plaisted

   OriginalPaper 26 June 2015 Pages: 113 - 141

4. An Experiment with Satisfiability Modulo SAT

   • Hantao Zhang

   OriginalPaper 06 January 2016 Pages: 143 - 154

   

5. Semi-intelligible Isar Proofs from Machine-Generated Proofs

   • Jasmin Christian Blanchette
   • Sascha Böhme
   • Albert Steckermeier

   OriginalPaper 12 July 2015 Pages: 155 - 200