Search
1987
with Nepomniaschy V. A.
in: Mathematical logic and its applications, Dordrecht : Springer