An introduction to substructural logics - Restall, Greg, 1969- (Routledge, 2000)