Ewa Orłowska on Relational Methods in Logic and Computer Science - Golińska-Pilarek, Joanna; Golińska-Pilarek, Joanna; Zawidzki, Michał; Zawidzki, Michał (Springer International Publishing : Imprint: Springer, 2018)