Towards secure and green two-stage supply chain networks - Pintea, C; Calinescu, A; Pop Sitar, C; Pop, P (Logic Journal of the IGPL, 2018)