Compositional type checking of delta-oriented software product lines Lorenzo BettiniFerruccio DamianiIna Schaefer Original Article 11 January 2013 Pages: 77 - 122
Infinitary rewriting: closure operators, equivalences and models Stefan Kahrs Original Article 04 December 2012 Pages: 123 - 156