TY - RPRT TI - Ruitenburg's Theorem via Duality and Bounded Bisimulations AU - Luigi Santocanale AU - Silvio Ghilardi PY - 2018 UR - https://arxiv.org/abs/1804.06130 ID - 1804.06130 ER -