Search
1994
with Gjelsvik Olav
Synthese 98/1
1987
in: Mathematical logic and its applications, Dordrecht : Springer