Avoiding cross-bifix-free binary words Stefano BilottaElisabetta GrazziniRenzo Pinzani Original Article 25 January 2013 Pages: 157 - 173
Conjunctive grammars and alternating pushdown automata Tamar AizikowitzMichael Kaminski Original Article 26 March 2013 Pages: 175 - 197
Verifying a simplification of mutual exclusion by Lycklama–Hadzilacos Wim H. Hesselink Original Article 10 March 2013 Pages: 199 - 228