Strategic logics : complexity, completeness and expressivity. - Dirk Walther 003 (2007)

Deciding the logical difference problem for EL with role inclusions. - Daniel Pokrywczynski; Dirk Walther 003 (WoMO, 2008)

A Logic of Strategic Ability Under Bounded Memory. - Thomas Ågotnes; Dirk Walther 003 (J. Log. Lang. Inf., 2009)