Devaluation in a neo-Keynesian temporary equilibrium

We analyse a two sector open economy model in which prices are rigid and markets clear by quantity adjustments. We consider the case of Keynesian unemployment (excess supplies of labour and of the non-traded good), and derive conditions under which devaluation will be expansionary and will improve the balance of trade.