Grygiel, J. Applications of Algebra in Logic and Computer Science – the Past and the Future. B Sect Log 2018, 47, 59–76.