Ewa Orłowska on Relational Methods in Logic and Computer ScienceMichał Zawidzki Joanna Golińska-Pilarek₹4,082