"Algebraic semantics of refinement modal logic."

Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics