Authors: G.Wrightson

Citation: G.wrightson, Automated Reasoning With Analytic Tableaux: Preface to the Special Issue on Tableaux, Journal of automated reasoning , 13(2), 1994, pp. 173-174