ML-1995-09: Hiroakira Ono Decidability and Finite Model Property of Substructural Logics 1.Full Text, 2.Abstract. < Back
