Andrzej Pietruszczak, Rozstrzygalność w bezkwantyfikatorowym rachunku nazw , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992, 3 (255), , s. 21-43