Ruitenburg's Theorem via Duality and Bounded Bisimulations - Luigi Santocanale; Silvio Ghilardi (2018)