Helle Hansen, Clemens Kupke, Raul Leal. Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer,
HAL Archives-Ouvertes,
Helle Hansen, Clemens Kupke, Raul Leal. Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.