1. Compositional type checking of delta-oriented software product lines

   • Lorenzo Bettini
   • Ferruccio Damiani
   • Ina Schaefer

   Original Article 11 January 2013 Pages: 77 - 122

   

2. Infinitary rewriting: closure operators, equivalences and models

   • Stefan Kahrs

   Original Article 04 December 2012 Pages: 123 - 156