Stéphane Demri, Ewa Orlowska: Reasoning with Relational Demonic Operators. RelMiCS 1997: 331-340