Murawski, Roman, cContributions of Polish Logicians to Decidability Theoryd, Modern Logic 6 (1996), 37366
V. Peckhaus, zbMATH Open, Zbl. 0844.01010 (1996).