J. Grygiel, “Applications of Algebra in Logic and Computer Science – the Past and the Future”, B Sect Log, vol. 47, no. 1, pp. 59–76, Mar. 2018.