Craig interpolation for semilinear substructural logics | Publicación