This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
On the logic of small changes in theories II
Krister Segerberg
pp. 205-211
Not implemented yet !