The synchronicity of dynamic epistemic logic Dégremont, Cédric Löwe, Benedikt Witzel, Andreas 2011 - Forschungsinformationssystem der UHH
DEL planning and some tractable cases Löwe, Benedikt Pacuit, Eric Witzel, Andreas 2011 - Forschungsinformationssystem der UHH