Stéphane Demri, Ewa Orlowska. Reasoning with Relational Demonic Operators. In Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. pages 331-340, 1997.
Abstract is missing.