“Backward” coinduction, Nash equilibrium and the rationality of escalation Pierre LescanneMatthieu Perrinel Original Article 15 March 2012 Pages: 117 - 137
Instruction sequence processing operators J. A. BergstraC. A. Middelburg Original Article Open access 23 March 2012 Pages: 139 - 172
Least common container of tree pattern queries and its applications Junhu WangJeffrey Xu YuChengfei Liu Original Article 10 April 2012 Pages: 173 - 202