Some observations on Uniform Reduction for properties invariant on the range of definable relations J. Makowsky — 1978 Fundamenta Mathematicae
Problemi di decidibilità in logica topologica J. A. Makowsky; A. Marcja — 1976 Rendiconti del Seminario Matematico della Università di Padova