Grygiel, J. Applications of Algebra in Logic and Computer Science – the Past and the Future. B Sect Log 2018, 47 (1), 59–76. https://doi.org/10.18778/0138-0680.47.1.05.