PP-1999-04: Kazushige Terui Labelled Tableau Calculi Generating Simple Models for Substructural Logics 1.Full Text, 2.Abstract. < Back
