Substructural logics a primer - Paoli, Francesco (Trends in logic, 2002)