with Gjelsvik, O. , 1994, 'Preface', Synthese 98 (1), 1-2.
, 1987a, Reasoning in trees, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 125-135.