Spinks, M.; Veroff, R. (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia logica, 89(3), pp. 401-425. Springer Science + Business Media 10.1007/s11225-008-9138-1
