My joint paper with Wiebe and Mike with title “Verification of Games in the Game Description Language”, has been accepted by the Journal of Logic and Computation. This is my second journal paper.
Here is the preview version (final draft). The first version was submitted on 8th August, 2008.

December 2010 Update: A proper reference is provide here:
http://portal.acm.org/citation.cfm?id=1666968.1666995&coll=&dl=
Here is the Latex code:
@article{1666995,
author = {Ruan, Ji and van der Hoek, Wiebe and Wooldridge, Michael},
title = {Verification of Games in the Game Description Language},
journal = {J. Log. and Comput.},
volume = {19},
number = {6},
year = {2009},
issn = {0955-792X},
pages = [...]