Search
1987
with Pettorossi Alberto
in: Mathematical logic and its applications, Dordrecht : Springer