Lifting non-finite axiomatizability results to extensions of process algebras Luca AcetoWan FokkinkMohammadReza Mousavi Original Article 04 February 2010 Pages: 147 - 177
LR error repair using the A* algorithm Ik-Soon KimKwangkeun Yi Original Article 06 March 2010 Pages: 179 - 207