Model-interpretability into trees and applications. I. Korec; W. Rautenberg — 1975 Archiv für mathematische Logik und Grundlagenforschung
Definability in structures of finite valency I. Korec; M. Peretiatkin; W. Rautenberg — 1974 Fundamenta Mathematicae