Substructural logics /
Schroeder-Heister, P.
Dosen, Kosta.
Oxford : Clarendon Press,
1993.